Skip to content

Actions: dan323/natural-deduction

Actions

BackEnd Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CompileAndTest.yml
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add front end by ReactJS BackEnd Workflow #184: Pull request #33 opened by dan323
August 30, 2024 16:46 7m 46s front-end
front-end
August 30, 2024 16:46 7m 46s
Proof reason improve (#32) BackEnd Workflow #183: Commit 727acbc pushed by dan323
August 28, 2024 22:12 7m 21s master
master
August 28, 2024 22:12 7m 21s
Proof reason improve BackEnd Workflow #182: Pull request #32 synchronize by dan323
August 28, 2024 21:28 7m 44s proof-reason-improve
proof-reason-improve
August 28, 2024 21:28 7m 44s
Proof reason improve BackEnd Workflow #181: Pull request #32 synchronize by dan323
August 28, 2024 21:27 7m 36s proof-reason-improve
proof-reason-improve
August 28, 2024 21:27 7m 36s
Proof reason improve BackEnd Workflow #180: Pull request #32 synchronize by dan323
August 28, 2024 16:37 7m 33s proof-reason-improve
proof-reason-improve
August 28, 2024 16:37 7m 33s
Proof reason improve BackEnd Workflow #179: Pull request #32 opened by dan323
August 27, 2024 03:18 7m 43s proof-reason-improve
proof-reason-improve
August 27, 2024 03:18 7m 43s
simplify Solvers (#31) BackEnd Workflow #178: Commit d2cfe7c pushed by dan323
August 18, 2024 17:01 7m 31s master
master
August 18, 2024 17:01 7m 31s
simplify Solvers BackEnd Workflow #177: Pull request #31 synchronize by dan323
August 18, 2024 16:41 7m 34s solver-rethink
solver-rethink
August 18, 2024 16:41 7m 34s
simplify Solvers BackEnd Workflow #176: Pull request #31 synchronize by dan323
August 18, 2024 16:33 2m 3s solver-rethink
solver-rethink
August 18, 2024 16:33 2m 3s
simplify Solvers BackEnd Workflow #175: Pull request #31 synchronize by dan323
August 18, 2024 16:31 9s solver-rethink
solver-rethink
August 18, 2024 16:31 9s
simplify Solvers BackEnd Workflow #174: Pull request #31 opened by dan323
August 18, 2024 16:23 10s solver-rethink
solver-rethink
August 18, 2024 16:23 10s
bug fixes BackEnd Workflow #173: Commit c71d47e pushed by dan323
August 18, 2024 16:02 7m 48s master
master
August 18, 2024 16:02 7m 48s
package before sonar BackEnd Workflow #172: Commit f32dc4b pushed by dan323
August 18, 2024 15:38 7m 35s master
master
August 18, 2024 15:38 7m 35s
More modal tests (#30) BackEnd Workflow #171: Commit 2b63063 pushed by dan323
August 18, 2024 15:34 7m 26s master
master
August 18, 2024 15:34 7m 26s
More modal tests BackEnd Workflow #170: Pull request #30 synchronize by dan323
August 18, 2024 15:25 7m 34s coverage
coverage
August 18, 2024 15:25 7m 34s
More modal tests BackEnd Workflow #169: Pull request #30 synchronize by dan323
August 18, 2024 15:19 7m 36s coverage
coverage
August 18, 2024 15:19 7m 36s
More modal tests BackEnd Workflow #168: Pull request #30 synchronize by dan323
August 18, 2024 15:07 7m 51s coverage
coverage
August 18, 2024 15:07 7m 51s
More modal tests BackEnd Workflow #167: Pull request #30 synchronize by dan323
August 18, 2024 14:49 7m 47s coverage
coverage
August 18, 2024 14:49 7m 47s
More modal tests BackEnd Workflow #166: Pull request #30 synchronize by dan323
August 18, 2024 14:42 1m 16s coverage
coverage
August 18, 2024 14:42 1m 16s
More modal tests BackEnd Workflow #165: Pull request #30 synchronize by dan323
August 18, 2024 14:38 1m 14s coverage
coverage
August 18, 2024 14:38 1m 14s
More modal tests BackEnd Workflow #164: Pull request #30 synchronize by dan323
August 18, 2024 14:27 8m 36s coverage
coverage
August 18, 2024 14:27 8m 36s
More modal tests BackEnd Workflow #163: Pull request #30 synchronize by dan323
August 18, 2024 13:50 7m 28s coverage
coverage
August 18, 2024 13:50 7m 28s
More modal tests BackEnd Workflow #162: Pull request #30 opened by dan323
August 18, 2024 13:40 7m 13s coverage
coverage
August 18, 2024 13:40 7m 13s
modal and model (#29) BackEnd Workflow #161: Commit 1e685e9 pushed by dan323
August 18, 2024 07:48 7m 40s master
master
August 18, 2024 07:48 7m 40s
modal and model BackEnd Workflow #160: Pull request #29 synchronize by dan323
August 18, 2024 07:40 7m 33s model-rethought
model-rethought
August 18, 2024 07:40 7m 33s