Skip to content

Actions: seL4/refos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: use central CI workflows CI #8: Commit 7d449d9 pushed by lsf37
March 17, 2025 00:39 5m 39s master
master
March 17, 2025 00:39 5m 39s
github: use central CI workflows PR #4: Pull request #16 opened by lsf37
March 14, 2025 01:32 32s lsf37/central-workflows
lsf37/central-workflows
March 14, 2025 01:32 32s
github: use central CI workflows CI #7: Pull request #16 opened by lsf37
March 14, 2025 01:32 21s lsf37/central-workflows
lsf37/central-workflows
March 14, 2025 01:32 21s