Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing bits for supporting default in executable specs. CN Proof #216: Pull request #814 opened by yav
January 3, 2025 22:11 3m 31s issue#813-support-default-in-executable-specs
issue#813-support-default-in-executable-specs
January 3, 2025 22:11 3m 31s
[CN-Test-Gen] Enum hints for --with-static-hack (#812) CN Proof #215: Commit 6316f8f pushed by ZippeyKeys12
January 3, 2025 06:22 13m 22s master
master
January 3, 2025 06:22 13m 22s
[CN-Test-Gen] Enum hints for --with-static-hack CN Proof #214: Pull request #812 opened by ZippeyKeys12
January 3, 2025 06:08 13m 20s ZippeyKeys12:cn-test-gen-enum-hack-hint
ZippeyKeys12:cn-test-gen-enum-hack-hint
January 3, 2025 06:08 13m 20s
[CN-Test-Gen] Expose static hack via CLI flag (#808) CN Proof #213: Commit 6d4b486 pushed by ZippeyKeys12
January 2, 2025 21:35 12m 51s master
master
January 2, 2025 21:35 12m 51s
[CN-Test-Gen] Expose static hack via CLI flag CN Proof #212: Pull request #808 opened by ZippeyKeys12
January 2, 2025 21:21 12m 50s ZippeyKeys12:cn-test-gen-static-hack
ZippeyKeys12:cn-test-gen-static-hack
January 2, 2025 21:21 12m 50s
[CN-Test-Gen] Organize top-level test generation (#806) CN Proof #211: Commit 6fc4ec4 pushed by ZippeyKeys12
January 2, 2025 08:01 13m 11s master
master
January 2, 2025 08:01 13m 11s
[CN-Test-Gen] Organize top-level test generation CN Proof #210: Pull request #806 opened by ZippeyKeys12
January 2, 2025 07:46 13m 10s ZippeyKeys12:cn-test-gen-top-level-reorg
ZippeyKeys12:cn-test-gen-top-level-reorg
January 2, 2025 07:46 13m 10s
Adding a switch for normalising types at elaboration time CN Proof #209: Pull request #805 opened by kmemarian
December 31, 2024 14:34 3m 53s kmemarian:elaboration_normalises_types
kmemarian:elaboration_normalises_types
December 31, 2024 14:34 3m 53s
[CN-Test-Gen] Fix #802 CN Proof #208: Commit c601ccf pushed by ZippeyKeys12
December 30, 2024 21:32 13m 1s master
master
December 30, 2024 21:32 13m 1s
[CN-Test-Gen] Fix #802 CN Proof #207: Pull request #803 opened by ZippeyKeys12
December 30, 2024 21:18 12m 55s ZippeyKeys12:cn-test-gen-extend-each-fusion-pass
ZippeyKeys12:cn-test-gen-extend-each-fusion-pass
December 30, 2024 21:18 12m 55s
CN: Factor out WellTyped error messages CN Proof #206: Commit 3fea76a pushed by dc-mak
December 30, 2024 02:05 13m 0s master
master
December 30, 2024 02:05 13m 0s
CN: Make Typing depend on WellTyped CN Proof #205: Pull request #800 synchronize by dc-mak
December 30, 2024 00:25 12m 53s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 30, 2024 00:25 12m 53s
CN: Make Typing depend on WellTyped CN Proof #204: Pull request #800 synchronize by dc-mak
December 29, 2024 23:29 11m 16s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 29, 2024 23:29 11m 16s
CN: Make Typing depend on WellTyped CN Proof #203: Pull request #800 opened by dc-mak
December 29, 2024 23:03 3m 46s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 29, 2024 23:03 3m 46s
CN: Re-add label consistency check CN Proof #202: Commit 0bb93bf pushed by dc-mak
December 29, 2024 12:41 12m 55s master
master
December 29, 2024 12:41 12m 55s
CN: Re-add label consistency check CN Proof #201: Pull request #799 synchronize by dc-mak
December 29, 2024 00:05 12m 57s dc-mak:cn-readd-proc-consistency
dc-mak:cn-readd-proc-consistency
December 29, 2024 00:05 12m 57s
CN: Re-add label consistency check CN Proof #200: Pull request #799 opened by dc-mak
December 29, 2024 00:00 4m 0s dc-mak:cn-readd-proc-consistency
dc-mak:cn-readd-proc-consistency
December 29, 2024 00:00 4m 0s
CN: Separate well-typed and consistency checks CN Proof #199: Commit 2ac0695 pushed by dc-mak
December 27, 2024 21:39 12m 4s master
master
December 27, 2024 21:39 12m 4s
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