Skip to content

Merge branch 'sched-ext:main' into main #47

Merge branch 'sched-ext:main' into main

Merge branch 'sched-ext:main' into main #47

Triggered via push September 12, 2024 21:03
Status Skipped
Total duration 4s
Artifacts
build-kernel
0s
build-kernel
Matrix: integration-test
Matrix: rust-test-core
Matrix: rust-test-schedulers
Fit to window
Zoom out
Zoom in