Skip to content

Actions: rems-project/cerberus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[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
[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
[CN-Test-Gen] Organize top-level test generation CN Proof #210: Pull request #806 opened by ZippeyKeys12
January 2, 2025 07:46 13m 10s ZippeyKeys12:cn-test-gen-top-level-reorg
ZippeyKeys12:cn-test-gen-top-level-reorg
January 2, 2025 07:46 13m 10s
docker docker #203: Scheduled
January 1, 2025 18:34 4h 15m 34s master
master
January 1, 2025 18:34 4h 15m 34s
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
ProTip! You can narrow down the results and go further in time using created:<2024-12-30 or the other filters available.