ci: use microkit-manifest for PR SDK builds #1426
Annotations
3 errors
|
The run was canceled by @midnightveil.
|
|
Run seL4/ci-actions/repo-checkout@master
The operation was canceled.
|
|
The run was canceled by @midnightveil.
|
background
wait
wait-all
cancel
parallel
Loading