Skip to content

Actions: andob/INCL-automated-theorem-prover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bugfix CI #22: Commit 3f396bd pushed by andob
50s with_negativity_constraint
with_negativity_constraint
50s
bugfix CI #21: Commit 7de7900 pushed by andob
4m 5s master
master
4m 5s
14.3.5 fix CI #20: Commit 3eff328 pushed by andob
57s 14.3.5_fix
14.3.5_fix
57s
removed full output test CI #19: Commit 63ec0c0 pushed by andob
2m 33s master
master
2m 33s
negativity constraint CI #18: Commit 294cf4e pushed by andob
52s with_negativity_constraint
with_negativity_constraint
52s
bugfix CI #17: Commit 12490ca pushed by andob
54s master
master
54s
contradiction detection optimisation CI #16: Commit bcd5d0e pushed by andob
2m 32s master
master
2m 32s
CI fix CI #15: Commit 52508aa pushed by andob
3m 52s master
master
3m 52s
CI fix CI #14: Commit 9eeb98b pushed by andob
44s master
master
44s
bugfixes CI #13: Commit 9d5adac pushed by andob
46s master
master
46s
refactor: forall rule -> per branch behavior CI #12: Commit 12cee35 pushed by andob
4m 51s master
master
4m 51s
refactor: necessary rule -> per branch behavior CI #11: Commit 94ded2a pushed by andob
52s master
master
52s
refactor: necessary rule -> per branch behavior CI #10: Commit 963a3fc pushed by andob
45s master
master
45s
refactoring: LogicRule.apply() -> LogicRuleResult instead of Option<P… CI #9: Commit c17b61f pushed by andob
1m 51s master
master
1m 51s
bugfix CI #8: Commit e332c88 pushed by andob
1m 46s master
master
1m 46s
added some parser assertions CI #7: Commit 31a6840 pushed by andob
1m 54s master
master
1m 54s
added some parser assertions CI #6: Commit 7a57aa2 pushed by andob
1m 49s master
master
1m 49s
added some parser assertions CI #5: Commit 2113505 pushed by andob
1m 54s master
master
1m 54s
fixed & simplified forall rule CI #4: Commit 2619a65 pushed by andob
1m 43s master
master
1m 43s
bump commit CI #3: Commit 96bbd69 pushed by andob
1m 44s master
master
1m 44s
CI CI #2: Manually run by andob
1m 46s master
master
1m 46s