Skip to content

Actions: rems-project/cerberus

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,561 workflow runs
1,561 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing bits for supporting default in executable specs. CI #1794: Pull request #814 opened by yav
January 3, 2025 22:11 2m 22s issue#813-support-default-in-executable-specs
issue#813-support-default-in-executable-specs
January 3, 2025 22:11 2m 22s
[CN-Test-Gen] Enum hints for --with-static-hack (#812) CI #1793: Commit 6316f8f pushed by ZippeyKeys12
January 3, 2025 06:22 2m 1s master
master
January 3, 2025 06:22 2m 1s
[CN-Test-Gen] Enum hints for --with-static-hack CI #1792: Pull request #812 opened by ZippeyKeys12
January 3, 2025 06:08 2m 3s ZippeyKeys12:cn-test-gen-enum-hack-hint
ZippeyKeys12:cn-test-gen-enum-hack-hint
January 3, 2025 06:08 2m 3s
[CN-Test-Gen] Expose static hack via CLI flag (#808) CI #1791: Commit 6d4b486 pushed by ZippeyKeys12
January 2, 2025 21:35 2m 2s master
master
January 2, 2025 21:35 2m 2s
[CN-Test-Gen] Expose static hack via CLI flag CI #1790: Pull request #808 opened by ZippeyKeys12
January 2, 2025 21:21 2m 0s ZippeyKeys12:cn-test-gen-static-hack
ZippeyKeys12:cn-test-gen-static-hack
January 2, 2025 21:21 2m 0s
[CN-Test-Gen] Organize top-level test generation (#806) CI #1789: Commit 6fc4ec4 pushed by ZippeyKeys12
January 2, 2025 08:01 2m 14s master
master
January 2, 2025 08:01 2m 14s
[CN-Test-Gen] Organize top-level test generation CI #1788: Pull request #806 opened by ZippeyKeys12
January 2, 2025 07:46 2m 7s ZippeyKeys12:cn-test-gen-top-level-reorg
ZippeyKeys12:cn-test-gen-top-level-reorg
January 2, 2025 07:46 2m 7s
Adding a switch for normalising types at elaboration time CI #1787: Pull request #805 opened by kmemarian
December 31, 2024 14:34 2m 8s kmemarian:elaboration_normalises_types
kmemarian:elaboration_normalises_types
December 31, 2024 14:34 2m 8s
[CN-Test-Gen] Fix #802 CI #1786: Commit c601ccf pushed by ZippeyKeys12
December 30, 2024 21:32 2m 3s master
master
December 30, 2024 21:32 2m 3s
[CN-Test-Gen] Fix #802 CI #1785: Pull request #803 opened by ZippeyKeys12
December 30, 2024 21:18 2m 5s ZippeyKeys12:cn-test-gen-extend-each-fusion-pass
ZippeyKeys12:cn-test-gen-extend-each-fusion-pass
December 30, 2024 21:18 2m 5s
CN: Factor out WellTyped error messages CI #1784: Commit 3fea76a pushed by dc-mak
December 30, 2024 02:05 2m 6s master
master
December 30, 2024 02:05 2m 6s
CN: Make Typing depend on WellTyped CI #1783: Pull request #800 synchronize by dc-mak
December 30, 2024 00:25 2m 4s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 30, 2024 00:25 2m 4s
CN: Make Typing depend on WellTyped CI #1782: Pull request #800 synchronize by dc-mak
December 29, 2024 23:29 2m 9s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 29, 2024 23:29 2m 9s
CN: Make Typing depend on WellTyped CI #1781: Pull request #800 opened by dc-mak
December 29, 2024 23:03 2m 8s dc-mak:cn-typing-depends-welltyped
dc-mak:cn-typing-depends-welltyped
December 29, 2024 23:03 2m 8s
CN: Re-add label consistency check CI #1780: Commit 0bb93bf pushed by dc-mak
December 29, 2024 12:41 2m 35s master
master
December 29, 2024 12:41 2m 35s
CN: Re-add label consistency check CI #1779: Pull request #799 synchronize by dc-mak
December 29, 2024 00:05 2m 4s dc-mak:cn-readd-proc-consistency
dc-mak:cn-readd-proc-consistency
December 29, 2024 00:05 2m 4s
CN: Re-add label consistency check CI #1778: Pull request #799 opened by dc-mak
December 29, 2024 00:00 2m 4s dc-mak:cn-readd-proc-consistency
dc-mak:cn-readd-proc-consistency
December 29, 2024 00:00 2m 4s
CN: Separate well-typed and consistency checks CI #1777: Commit 2ac0695 pushed by dc-mak
December 27, 2024 21:39 2m 17s master
master
December 27, 2024 21:39 2m 17s
CN: Separate well-typed and consistency checks CI #1776: Pull request #797 synchronize by dc-mak
December 27, 2024 14:30 2m 10s dc-mak:cn-separate-bt-consistency
dc-mak:cn-separate-bt-consistency
December 27, 2024 14:30 2m 10s
CN: Separate well-typed and consistency checks CI #1775: Pull request #797 opened by dc-mak
December 27, 2024 13:57 2m 6s dc-mak:cn-separate-bt-consistency
dc-mak:cn-separate-bt-consistency
December 27, 2024 13:57 2m 6s
CN: Rename Resultat to Or_TypeError CI #1774: Commit 140db7a pushed by dc-mak
December 26, 2024 17:38 2m 22s master
master
December 26, 2024 17:38 2m 22s
CN: Rename Resultat to Or_TypeError CI #1773: Pull request #794 synchronize by dc-mak
December 26, 2024 17:02 2m 26s dc-mak:cn-rename-resultat
dc-mak:cn-rename-resultat
December 26, 2024 17:02 2m 26s
CN: Rename Resultat to Or_TypeError CI #1772: Pull request #794 opened by dc-mak
December 26, 2024 16:42 2m 20s dc-mak:cn-rename-resultat
dc-mak:cn-rename-resultat
December 26, 2024 16:42 2m 20s
CN: Add TypeError interface file CI #1771: Commit c90405f pushed by dc-mak
December 26, 2024 15:03 2m 16s master
master
December 26, 2024 15:03 2m 16s
CN: Add TypeError interface file CI #1770: Pull request #793 opened by dc-mak
December 26, 2024 14:45 2m 26s dc-mak:cn-add-typeErrors-mli
dc-mak:cn-add-typeErrors-mli
December 26, 2024 14:45 2m 26s