Skip to content

Actions: rems-project/cerberus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,265 workflow runs
3,265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docker docker #202: Scheduled
December 31, 2024 18:34 4h 15m 23s master
master
December 31, 2024 18:34 4h 15m 23s
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
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
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
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
pages build and deployment pages-build-deployment #155: by github-pages bot
December 30, 2024 21:40 42s gh-pages
gh-pages
December 30, 2024 21:40 42s
[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 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 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 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 CN Benchmarks #59: Commit c601ccf pushed by ZippeyKeys12
December 30, 2024 21:32 8m 7s master
master
December 30, 2024 21:32 8m 7s
[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-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-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-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
docker docker #201: Scheduled
December 30, 2024 18:35 4h 12m 18s master
master
December 30, 2024 18:35 4h 12m 18s
pages build and deployment pages-build-deployment #154: by github-pages bot
December 30, 2024 02:13 38s gh-pages
gh-pages
December 30, 2024 02:13 38s
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: 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: 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: Factor out WellTyped error messages CN Benchmarks #58: Commit 3fea76a pushed by dc-mak
December 30, 2024 02:05 8m 5s master
master
December 30, 2024 02:05 8m 5s
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 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 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 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