Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn.yml
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN: Separate well-typed and consistency checks CN Proof #198: Pull request #797 synchronize by dc-mak
December 27, 2024 14:30 12m 48s dc-mak:cn-separate-bt-consistency
dc-mak:cn-separate-bt-consistency
December 27, 2024 14:30 12m 48s
CN: Separate well-typed and consistency checks CN Proof #197: Pull request #797 opened by dc-mak
December 27, 2024 13:57 3m 8s dc-mak:cn-separate-bt-consistency
dc-mak:cn-separate-bt-consistency
December 27, 2024 13:57 3m 8s
CN: Rename Resultat to Or_TypeError CN Proof #196: Commit 140db7a pushed by dc-mak
December 26, 2024 17:38 13m 53s master
master
December 26, 2024 17:38 13m 53s
CN: Rename Resultat to Or_TypeError CN Proof #195: Pull request #794 synchronize by dc-mak
December 26, 2024 17:02 14m 33s dc-mak:cn-rename-resultat
dc-mak:cn-rename-resultat
December 26, 2024 17:02 14m 33s
CN: Rename Resultat to Or_TypeError CN Proof #194: Pull request #794 opened by dc-mak
December 26, 2024 16:42 3m 21s dc-mak:cn-rename-resultat
dc-mak:cn-rename-resultat
December 26, 2024 16:42 3m 21s
CN: Add TypeError interface file CN Proof #193: Commit c90405f pushed by dc-mak
December 26, 2024 15:03 14m 37s master
master
December 26, 2024 15:03 14m 37s
CN: Add TypeError interface file CN Proof #192: Pull request #793 opened by dc-mak
December 26, 2024 14:45 14m 3s dc-mak:cn-add-typeErrors-mli
dc-mak:cn-add-typeErrors-mli
December 26, 2024 14:45 14m 3s
CN: Add Context interface file CN Proof #191: Commit 74d48c6 pushed by dc-mak
December 26, 2024 14:34 14m 19s master
master
December 26, 2024 14:34 14m 19s
CN: Add Context interface file CN Proof #190: Pull request #792 opened by dc-mak
December 26, 2024 14:17 14m 2s dc-mak:cn-add-context-mli
dc-mak:cn-add-context-mli
December 26, 2024 14:17 14m 2s
CN: Reduce opens in explain.ml CN Proof #189: Commit 170e68b pushed by dc-mak
December 26, 2024 14:09 14m 25s master
master
December 26, 2024 14:09 14m 25s
CN: Reduce opens in explain.ml CN Proof #188: Pull request #791 synchronize by dc-mak
December 26, 2024 13:53 14m 5s dc-mak:cn-reduce-explain-opens
dc-mak:cn-reduce-explain-opens
December 26, 2024 13:53 14m 5s
CN: Use __LOC__ instead of __FUNCTION__ CN Proof #187: Commit defd6eb pushed by dc-mak
December 26, 2024 13:49 14m 3s master
master
December 26, 2024 13:49 14m 3s
CN: Use __LOC__ instead of __FUNCTION__ CN Proof #186: Pull request #790 synchronize by dc-mak
December 26, 2024 13:31 14m 16s dc-mak:cn-use-loc
dc-mak:cn-use-loc
December 26, 2024 13:31 14m 16s
CN: Tidy up Id and LogicalCosntraints module CN Proof #185: Commit 7797537 pushed by dc-mak
December 26, 2024 13:29 14m 49s master
master
December 26, 2024 13:29 14m 49s
CN: Reduce opens in explain.ml CN Proof #184: Pull request #791 opened by dc-mak
December 26, 2024 11:44 14m 38s dc-mak:cn-reduce-explain-opens
dc-mak:cn-reduce-explain-opens
December 26, 2024 11:44 14m 38s
CN: Use __LOC__ instead of __FUNCTION__ CN Proof #183: Pull request #790 opened by dc-mak
December 26, 2024 11:44 14m 12s dc-mak:cn-use-loc
dc-mak:cn-use-loc
December 26, 2024 11:44 14m 12s
CN: Tidy IT, Id, LC modules CN Proof #182: Pull request #788 synchronize by dc-mak
December 26, 2024 11:39 15m 5s dc-mak:cn-tidy-it-id-lc
dc-mak:cn-tidy-it-id-lc
December 26, 2024 11:39 15m 5s
CN: Tidy IT, Id, LC modules CN Proof #181: Pull request #788 synchronize by dc-mak
December 26, 2024 02:18 3m 55s dc-mak:cn-tidy-it-id-lc
dc-mak:cn-tidy-it-id-lc
December 26, 2024 02:18 3m 55s
CN: Tidy IT, Id, LC modules CN Proof #180: Pull request #788 synchronize by dc-mak
December 26, 2024 00:41 14m 37s dc-mak:cn-tidy-it-id-lc
dc-mak:cn-tidy-it-id-lc
December 26, 2024 00:41 14m 37s
CN: Tidy IT, Id, LC modules CN Proof #179: Pull request #788 opened by dc-mak
December 25, 2024 16:29 14m 15s dc-mak:cn-tidy-it-id-lc
dc-mak:cn-tidy-it-id-lc
December 25, 2024 16:29 14m 15s
CN: Assert max tuple size CN Proof #178: Commit 0ab06e0 pushed by dc-mak
December 23, 2024 09:30 14m 7s master
master
December 23, 2024 09:30 14m 7s
CN: Assert max tuple size CN Proof #177: Pull request #787 opened by dc-mak
December 23, 2024 09:14 13m 50s dc-mak:assert-tuple-max
dc-mak:assert-tuple-max
December 23, 2024 09:14 13m 50s
[CN] Fix formatting break from #782 CN Proof #176: Commit 8a46609 pushed by ZippeyKeys12
December 23, 2024 05:23 14m 7s master
master
December 23, 2024 05:23 14m 7s
[CN] Fix formatting break from #782 CN Proof #175: Pull request #786 opened by ZippeyKeys12
December 23, 2024 04:47 14m 7s ZippeyKeys12:fix-formatting-782
ZippeyKeys12:fix-formatting-782
December 23, 2024 04:47 14m 7s
increase maximum CN tuple arity, as needed by pgtable (#782) CN Proof #174: Commit 695380a pushed by cp526
December 21, 2024 21:02 3m 18s master
master
December 21, 2024 21:02 3m 18s