Skip to content

Actions: rems-project/cerberus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docker docker #204: Scheduled
January 2, 2025 18:35 4h 20m 26s master
master
January 2, 2025 18:35 4h 20m 26s
pages build and deployment pages-build-deployment #156: by github-pages bot
January 2, 2025 08:09 37s gh-pages
gh-pages
January 2, 2025 08:09 37s
[CN-Test-Gen] Organize top-level test generation (#806) CN Proof #211: Commit 6fc4ec4 pushed by ZippeyKeys12
January 2, 2025 08:01 13m 11s master
master
January 2, 2025 08:01 13m 11s
[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 (#806) CN Benchmarks #60: Commit 6fc4ec4 pushed by ZippeyKeys12
January 2, 2025 08:01 8m 20s master
master
January 2, 2025 08:01 8m 20s
[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 (#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