Skip to content

Actions: rems-project/cerberus

Actions

CHERI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix z3 install and CN tests for Dockerfiles CHERI #48: Pull request #712 synchronize by dc-mak
November 12, 2024 18:39 2m 41s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 18:39 2m 41s
Fix z3 install and CN tests for Dockerfiles CHERI #47: Pull request #712 synchronize by podhrmic
November 12, 2024 17:22 3m 37s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:22 3m 37s
Fix z3 install and CN tests for Dockerfiles CHERI #46: Pull request #712 synchronize by podhrmic
November 12, 2024 17:20 1m 35s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:20 1m 35s
Fix z3 install and CN tests for Dockerfiles CHERI #45: Pull request #712 synchronize by podhrmic
November 12, 2024 17:18 3m 2s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:18 3m 2s
Fix z3 install and CN tests for Dockerfiles CHERI #44: Pull request #712 synchronize by podhrmic
November 12, 2024 17:16 2m 2s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:16 2m 2s
Fix z3 install and CN tests for Dockerfiles CHERI #43: Pull request #712 synchronize by podhrmic
November 12, 2024 17:15 1m 42s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:15 1m 42s
Fix z3 install and CN tests for Dockerfiles CHERI #42: Pull request #712 synchronize by podhrmic
November 12, 2024 17:12 3m 0s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:12 3m 0s
Fix z3 install and CN tests for Dockerfiles CHERI #41: Pull request #712 synchronize by podhrmic
November 12, 2024 17:09 2m 30s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 17:09 2m 30s
Fix z3 install and CN tests for Dockerfiles CHERI #40: Pull request #712 synchronize by podhrmic
November 12, 2024 16:54 3m 4s podhrmic:redhat-fix
podhrmic:redhat-fix
November 12, 2024 16:54 3m 4s
[CN-Test-Gen] Flag for disabling passes CHERI #39: Commit dfe01d6 pushed by ZippeyKeys12
November 12, 2024 12:32 2m 46s master
master
November 12, 2024 12:32 2m 46s
[CN-Test-Gen] Coverage, --only and disabling passes CHERI #38: Pull request #715 synchronize by ZippeyKeys12
November 12, 2024 12:03 2m 49s ZippeyKeys12:cn-test-gen-only
ZippeyKeys12:cn-test-gen-only
November 12, 2024 12:03 2m 49s
[CN-Test-Gen] Coverage, --only and disabling passes CHERI #37: Pull request #715 synchronize by ZippeyKeys12
November 12, 2024 11:54 2m 54s ZippeyKeys12:cn-test-gen-only
ZippeyKeys12:cn-test-gen-only
November 12, 2024 11:54 2m 54s
[CN-Test-Gen] Coverage, --only and disabling passes CHERI #36: Pull request #715 opened by ZippeyKeys12
November 12, 2024 11:03 2m 41s ZippeyKeys12:cn-test-gen-only
ZippeyKeys12:cn-test-gen-only
November 12, 2024 11:03 2m 41s
Improve and extend mechanism for extracting relevant information for executable checking CHERI #35: Pull request #713 opened by cp526
November 11, 2024 20:01 2m 49s cp526:loop-invariant-information
cp526:loop-invariant-information
November 11, 2024 20:01 2m 49s
Fix z3 install and CN tests for Dockerfiles CHERI #34: Pull request #712 synchronize by podhrmic
November 11, 2024 19:37 2m 52s podhrmic:redhat-fix
podhrmic:redhat-fix
November 11, 2024 19:37 2m 52s
Fix z3 install and CN tests for Dockerfiles CHERI #33: Pull request #712 opened by podhrmic
November 11, 2024 15:36 2m 56s podhrmic:redhat-fix
podhrmic:redhat-fix
November 11, 2024 15:36 2m 56s
check in mergesort_alt, on the way to a more C-like version CHERI #32: Commit baa187f pushed by cp526
November 11, 2024 11:04 2m 56s master
master
November 11, 2024 11:04 2m 56s
Tidy mergesort CHERI #31: Pull request #711 opened by cp526
November 11, 2024 11:04 3m 2s cp526:tidy-mergesort
cp526:tidy-mergesort
November 11, 2024 11:04 3m 2s
Update documentation for using docker, run a CI test for the docker i… CHERI #30: Commit 7a81691 pushed by dc-mak
November 11, 2024 09:32 3m 34s master
master
November 11, 2024 09:32 3m 34s
[CN-Test-Gen] Add more failing CI tests CHERI #29: Commit cee11e0 pushed by ZippeyKeys12
November 11, 2024 04:19 2m 53s master
master
November 11, 2024 04:19 2m 53s
[CN-Test-Gen] Sized generators CHERI #28: Pull request #710 synchronize by ZippeyKeys12
November 11, 2024 03:32 2m 40s ZippeyKeys12:cn-test-gen-sizing
ZippeyKeys12:cn-test-gen-sizing
November 11, 2024 03:32 2m 40s
[CN-Test-Gen] Sized generators CHERI #27: Pull request #710 synchronize by ZippeyKeys12
November 11, 2024 02:46 2m 45s ZippeyKeys12:cn-test-gen-sizing
ZippeyKeys12:cn-test-gen-sizing
November 11, 2024 02:46 2m 45s
[CN-Test-Gen] Sized generators CHERI #26: Pull request #710 opened by ZippeyKeys12
November 11, 2024 02:39 2m 54s ZippeyKeys12:cn-test-gen-sizing
ZippeyKeys12:cn-test-gen-sizing
November 11, 2024 02:39 2m 54s
Docker and documentation updates CHERI #25: Pull request #709 opened by podhrmic
November 8, 2024 23:53 2m 48s podhrmic:doc-updates
podhrmic:doc-updates
November 8, 2024 23:53 2m 48s
[CN-exec] Add a readme for Fulminate (#693) CHERI #24: Commit 326dd98 pushed by rbanerjee20
November 8, 2024 12:49 2m 59s master
master
November 8, 2024 12:49 2m 59s