Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow run results
3 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test PR Check #3: Pull request #3 opened by nspin
July 18, 2023 09:44 3h 12m 15s nspin:pr/test-pr-1
nspin:pr/test-pr-1
July 18, 2023 09:44 3h 12m 15s
Check Check #2: Manually run by nspin
July 18, 2023 09:41 3h 17m 32s main
main
July 18, 2023 09:41 3h 17m 32s
Check Check #1: Manually run by nspin
July 18, 2023 09:40 Startup failure main
main
July 18, 2023 09:40 Startup failure