Skip to content

Actions: seL4/sel4test-manifest

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-sim.yml
2 workflow run results
2 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updating default.xml seL4Test #254: Commit 8c911f7 pushed by seL4-ci
August 10, 2023 11:09 15m 5s master
master
August 10, 2023 11:09 15m 5s
Updating default.xml seL4Test #253: Commit b22b69d pushed by seL4-ci
August 9, 2023 11:27 15m 58s master
master
August 9, 2023 11:27 15m 58s