Skip to content

Actions: rems-project/cerberus

CHERI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN-Test-Gen] Nicer abort on no testable functions
CHERI #23: Commit ecad112 pushed by ZippeyKeys12
November 8, 2024 05:47 2m 57s master
November 8, 2024 05:47 2m 57s
[CN-Test-Gen] UX tweaks
CHERI #22: Pull request #707 opened by ZippeyKeys12
November 7, 2024 19:45 3m 4s ZippeyKeys12:cn-test-gen-ux-tweaks
November 7, 2024 19:45 3m 4s
Build a truly multi platform docker image (#660)
CHERI #21: Commit e4de4e4 pushed by dc-mak
November 7, 2024 16:37 2m 43s master
November 7, 2024 16:37 2m 43s
CN VIP: Add support for memcpy & proxy
CHERI #16: Commit bddba22 pushed by dc-mak
November 6, 2024 20:10 2m 34s master
November 6, 2024 20:10 2m 34s
CN: Parallelise and caputure output in CN CI
CHERI #15: Pull request #703 synchronize by dc-mak
November 6, 2024 19:57 2m 40s dc-mak:cn-improve-ci
November 6, 2024 19:57 2m 40s
CN VIP: Add support for memcpy & proxy
CHERI #14: Pull request #694 synchronize by dc-mak
November 6, 2024 19:49 3m 8s dc-mak:cn-vip-memcpy
November 6, 2024 19:49 3m 8s
CN VIP: Add support for memcpy & proxy
CHERI #13: Pull request #694 synchronize by dc-mak
November 6, 2024 19:49 26s dc-mak:cn-vip-memcpy
November 6, 2024 19:49 26s
Adjust caching in workflows
CHERI #10: Pull request #704 synchronize by dc-mak
November 6, 2024 19:13 3m 4s dc-mak:adjust-ci-caching
November 6, 2024 19:13 3m 4s
Adjust caching in workflows
CHERI #9: Pull request #704 opened by dc-mak
November 6, 2024 19:10 2m 48s dc-mak:adjust-ci-caching
November 6, 2024 19:10 2m 48s
CN: Parallelise and caputure output in CN CI
CHERI #8: Pull request #703 opened by dc-mak
November 6, 2024 18:05 2m 40s dc-mak:cn-improve-ci
November 6, 2024 18:05 2m 40s
[CN-Exec/CN-Test-Gen] Generalize failure handling (#699)
CHERI #7: Commit 84d21f3 pushed by ZippeyKeys12
November 6, 2024 17:55 2m 38s master
November 6, 2024 17:55 2m 38s
Split up CIs
CHERI #5: Commit f82b33c pushed by dc-mak
November 6, 2024 16:16 2m 56s master
November 6, 2024 16:16 2m 56s
Split up CIs
CHERI #4: Pull request #701 synchronize by dc-mak
November 6, 2024 14:08 3m 7s dc-mak:split-up-cis
November 6, 2024 14:08 3m 7s
Split up CIs
CHERI #3: Pull request #701 synchronize by dc-mak
November 6, 2024 12:52 2m 56s dc-mak:split-up-cis
November 6, 2024 12:52 2m 56s
Split up CIs
CHERI #2: Pull request #701 synchronize by dc-mak
November 6, 2024 12:51 43s dc-mak:split-up-cis
November 6, 2024 12:51 43s
Split up CIs
CHERI #1: Pull request #701 opened by dc-mak
November 6, 2024 12:49 1s dc-mak:split-up-cis
November 6, 2024 12:49 1s
ProTip! You can narrow down the results and go further in time using created:<2024-11-06 or the other filters available.