Skip to content

Actions: rems-project/cerberus

Actions

CN Spec Testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn-spec-testing.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 Spec Testing #216: Pull request #814 opened by yav
January 3, 2025 22:11 5m 22s issue#813-support-default-in-executable-specs
issue#813-support-default-in-executable-specs
January 3, 2025 22:11 5m 22s
[CN-Test-Gen] Enum hints for --with-static-hack (#812) CN Spec Testing #215: Commit 6316f8f pushed by ZippeyKeys12
January 3, 2025 06:22 5m 8s master
master
January 3, 2025 06:22 5m 8s
[CN-Test-Gen] Enum hints for --with-static-hack CN Spec Testing #214: Pull request #812 opened by ZippeyKeys12
January 3, 2025 06:08 5m 5s ZippeyKeys12:cn-test-gen-enum-hack-hint
ZippeyKeys12:cn-test-gen-enum-hack-hint
January 3, 2025 06:08 5m 5s
[CN-Test-Gen] Expose static hack via CLI flag (#808) CN Spec Testing #213: Commit 6d4b486 pushed by ZippeyKeys12
January 2, 2025 21:35 5m 12s master
master
January 2, 2025 21:35 5m 12s
[CN-Test-Gen] Expose static hack via CLI flag CN Spec Testing #212: Pull request #808 opened by ZippeyKeys12
January 2, 2025 21:21 7m 10s ZippeyKeys12:cn-test-gen-static-hack
ZippeyKeys12:cn-test-gen-static-hack
January 2, 2025 21:21 7m 10s
[CN-Test-Gen] Organize top-level test generation (#806) CN Spec Testing #211: Commit 6fc4ec4 pushed by ZippeyKeys12
January 2, 2025 08:01 4m 47s master
master
January 2, 2025 08:01 4m 47s
[CN-Test-Gen] Organize top-level test generation CN Spec Testing #210: Pull request #806 opened by ZippeyKeys12
January 2, 2025 07:46 4m 53s ZippeyKeys12:cn-test-gen-top-level-reorg
ZippeyKeys12:cn-test-gen-top-level-reorg
January 2, 2025 07:46 4m 53s
Adding a switch for normalising types at elaboration time CN Spec Testing #209: Pull request #805 opened by kmemarian
December 31, 2024 14:34 4m 49s kmemarian:elaboration_normalises_types
kmemarian:elaboration_normalises_types
December 31, 2024 14:34 4m 49s
[CN-Test-Gen] Fix #802 CN Spec Testing #208: Commit c601ccf pushed by ZippeyKeys12
December 30, 2024 21:32 4m 51s master
master
December 30, 2024 21:32 4m 51s
[CN-Test-Gen] Fix #802 CN Spec Testing #207: Pull request #803 opened by ZippeyKeys12
December 30, 2024 21:18 4m 41s ZippeyKeys12:cn-test-gen-extend-each-fusion-pass
ZippeyKeys12:cn-test-gen-extend-each-fusion-pass
December 30, 2024 21:18 4m 41s
CN: Factor out WellTyped error messages CN Spec Testing #206: Commit 3fea76a pushed by dc-mak
December 30, 2024 02:05 4m 55s master
master
December 30, 2024 02:05 4m 55s
CN: Make Typing depend on WellTyped CN Spec Testing #205: Pull request #800 synchronize by dc-mak
December 30, 2024 00:25 5m 7s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 30, 2024 00:25 5m 7s
CN: Make Typing depend on WellTyped CN Spec Testing #204: Pull request #800 synchronize by dc-mak
December 29, 2024 23:29 4m 50s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 29, 2024 23:29 4m 50s
CN: Make Typing depend on WellTyped CN Spec Testing #203: Pull request #800 opened by dc-mak
December 29, 2024 23:03 4m 42s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 29, 2024 23:03 4m 42s
CN: Re-add label consistency check CN Spec Testing #202: Commit 0bb93bf pushed by dc-mak
December 29, 2024 12:41 5m 8s master
master
December 29, 2024 12:41 5m 8s
CN: Re-add label consistency check CN Spec Testing #201: Pull request #799 synchronize by dc-mak
December 29, 2024 00:05 4m 49s dc-mak:cn-readd-proc-consistency
dc-mak:cn-readd-proc-consistency
December 29, 2024 00:05 4m 49s
CN: Re-add label consistency check CN Spec Testing #200: Pull request #799 opened by dc-mak
December 29, 2024 00:00 4m 39s dc-mak:cn-readd-proc-consistency
dc-mak:cn-readd-proc-consistency
December 29, 2024 00:00 4m 39s
CN: Separate well-typed and consistency checks CN Spec Testing #199: Commit 2ac0695 pushed by dc-mak
December 27, 2024 21:39 5m 3s master
master
December 27, 2024 21:39 5m 3s
CN: Separate well-typed and consistency checks CN Spec Testing #198: Pull request #797 synchronize by dc-mak
December 27, 2024 14:30 5m 23s dc-mak:cn-separate-bt-consistency
dc-mak:cn-separate-bt-consistency
December 27, 2024 14:30 5m 23s
CN: Separate well-typed and consistency checks CN Spec Testing #197: Pull request #797 opened by dc-mak
December 27, 2024 13:57 3m 0s dc-mak:cn-separate-bt-consistency
dc-mak:cn-separate-bt-consistency
December 27, 2024 13:57 3m 0s
CN: Rename Resultat to Or_TypeError CN Spec Testing #196: Commit 140db7a pushed by dc-mak
December 26, 2024 17:38 5m 49s master
master
December 26, 2024 17:38 5m 49s
CN: Rename Resultat to Or_TypeError CN Spec Testing #195: Pull request #794 synchronize by dc-mak
December 26, 2024 17:02 5m 43s dc-mak:cn-rename-resultat
dc-mak:cn-rename-resultat
December 26, 2024 17:02 5m 43s
CN: Rename Resultat to Or_TypeError CN Spec Testing #194: Pull request #794 opened by dc-mak
December 26, 2024 16:42 3m 26s dc-mak:cn-rename-resultat
dc-mak:cn-rename-resultat
December 26, 2024 16:42 3m 26s
CN: Add TypeError interface file CN Spec Testing #193: Commit c90405f pushed by dc-mak
December 26, 2024 15:03 5m 51s master
master
December 26, 2024 15:03 5m 51s
CN: Add TypeError interface file CN Spec Testing #192: Pull request #793 opened by dc-mak
December 26, 2024 14:45 5m 26s dc-mak:cn-add-typeErrors-mli
dc-mak:cn-add-typeErrors-mli
December 26, 2024 14:45 5m 26s