Skip to content

Actions: alwin-joshy/sel4bench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: cancel older concurrent PR runs seL4Bench #4: Commit 0594cd5 pushed by alwin-joshy
September 10, 2024 05:11 10m 24s master
master
September 10, 2024 05:11 10m 24s
CI: cancel older concurrent PR runs CI #9: Commit 0594cd5 pushed by alwin-joshy
September 10, 2024 05:11 32s master
master
September 10, 2024 05:11 32s