Skip to content

Actions: rems-project/cerberus

Actions

CHERI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cheri.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CN: Add Context interface file CHERI #191: Commit 74d48c6 pushed by dc-mak
December 26, 2024 14:34 2m 42s master
master
December 26, 2024 14:34 2m 42s
CN: Add Context interface file CHERI #190: Pull request #792 opened by dc-mak
December 26, 2024 14:17 2m 44s dc-mak:cn-add-context-mli
dc-mak:cn-add-context-mli
December 26, 2024 14:17 2m 44s
CN: Reduce opens in explain.ml CHERI #189: Commit 170e68b pushed by dc-mak
December 26, 2024 14:09 2m 39s master
master
December 26, 2024 14:09 2m 39s
CN: Reduce opens in explain.ml CHERI #188: Pull request #791 synchronize by dc-mak
December 26, 2024 13:53 2m 58s dc-mak:cn-reduce-explain-opens
dc-mak:cn-reduce-explain-opens
December 26, 2024 13:53 2m 58s
CN: Use __LOC__ instead of __FUNCTION__ CHERI #187: Commit defd6eb pushed by dc-mak
December 26, 2024 13:49 2m 51s master
master
December 26, 2024 13:49 2m 51s
CN: Use __LOC__ instead of __FUNCTION__ CHERI #186: Pull request #790 synchronize by dc-mak
December 26, 2024 13:31 2m 38s dc-mak:cn-use-loc
dc-mak:cn-use-loc
December 26, 2024 13:31 2m 38s
CN: Tidy up Id and LogicalCosntraints module CHERI #185: Commit 7797537 pushed by dc-mak
December 26, 2024 13:29 2m 39s master
master
December 26, 2024 13:29 2m 39s
CN: Reduce opens in explain.ml CHERI #184: Pull request #791 opened by dc-mak
December 26, 2024 11:44 2m 56s dc-mak:cn-reduce-explain-opens
dc-mak:cn-reduce-explain-opens
December 26, 2024 11:44 2m 56s
CN: Use __LOC__ instead of __FUNCTION__ CHERI #183: Pull request #790 opened by dc-mak
December 26, 2024 11:44 2m 34s dc-mak:cn-use-loc
dc-mak:cn-use-loc
December 26, 2024 11:44 2m 34s
CN: Tidy IT, Id, LC modules CHERI #182: Pull request #788 synchronize by dc-mak
December 26, 2024 11:39 3m 4s dc-mak:cn-tidy-it-id-lc
dc-mak:cn-tidy-it-id-lc
December 26, 2024 11:39 3m 4s
CN: Tidy IT, Id, LC modules CHERI #181: Pull request #788 synchronize by dc-mak
December 26, 2024 02:18 2m 54s dc-mak:cn-tidy-it-id-lc
dc-mak:cn-tidy-it-id-lc
December 26, 2024 02:18 2m 54s
CN: Tidy IT, Id, LC modules CHERI #180: Pull request #788 synchronize by dc-mak
December 26, 2024 00:41 3m 54s dc-mak:cn-tidy-it-id-lc
dc-mak:cn-tidy-it-id-lc
December 26, 2024 00:41 3m 54s
CN: Tidy IT, Id, LC modules CHERI #179: Pull request #788 opened by dc-mak
December 25, 2024 16:29 3m 26s dc-mak:cn-tidy-it-id-lc
dc-mak:cn-tidy-it-id-lc
December 25, 2024 16:29 3m 26s
CN: Assert max tuple size CHERI #178: Commit 0ab06e0 pushed by dc-mak
December 23, 2024 09:30 2m 38s master
master
December 23, 2024 09:30 2m 38s
CN: Assert max tuple size CHERI #177: Pull request #787 opened by dc-mak
December 23, 2024 09:14 2m 46s dc-mak:assert-tuple-max
dc-mak:assert-tuple-max
December 23, 2024 09:14 2m 46s
[CN] Fix formatting break from #782 CHERI #176: Commit 8a46609 pushed by ZippeyKeys12
December 23, 2024 05:23 2m 48s master
master
December 23, 2024 05:23 2m 48s
[CN] Fix formatting break from #782 CHERI #175: Pull request #786 opened by ZippeyKeys12
December 23, 2024 04:47 2m 43s ZippeyKeys12:fix-formatting-782
ZippeyKeys12:fix-formatting-782
December 23, 2024 04:47 2m 43s
increase maximum CN tuple arity, as needed by pgtable (#782) CHERI #174: Commit 695380a pushed by cp526
December 21, 2024 21:02 2m 39s master
master
December 21, 2024 21:02 2m 39s
increase maximum CN tuple arity, as needed by pgtable CHERI #173: Pull request #782 opened by cp526
December 21, 2024 21:01 2m 34s smt-more-cn-tuples
smt-more-cn-tuples
December 21, 2024 21:01 2m 34s
Fix #779: Mark offset off as an integer constant CHERI #172: Commit d80d846 pushed by dc-mak
December 20, 2024 19:32 2m 42s master
master
December 20, 2024 19:32 2m 42s
Fix #779: Mark offset off as an integer constant CHERI #171: Pull request #781 synchronize by dc-mak
December 20, 2024 19:00 2m 55s dc-mak:offsetof-int-const
dc-mak:offsetof-int-const
December 20, 2024 19:00 2m 55s
Fix #779: Mark offset off as an integer constant CHERI #170: Pull request #781 opened by dc-mak
December 20, 2024 18:40 2m 51s dc-mak:offsetof-int-const
dc-mak:offsetof-int-const
December 20, 2024 18:40 2m 51s
CN: Error on unused modules CHERI #169: Commit 0766055 pushed by dc-mak
December 20, 2024 18:19 3m 7s master
master
December 20, 2024 18:19 3m 7s
CN: Error on unused modules CHERI #168: Pull request #780 synchronize by dc-mak
December 20, 2024 18:00 2m 54s dc-mak:error-on-unused-module
dc-mak:error-on-unused-module
December 20, 2024 18:00 2m 54s