Skip to content

Actions: rems-project/cerberus

Actions

CHERI

Actions

Loading...
Loading

Show workflow options

Create status badge

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