tool: refactor main to move out kernel configuration and binary generation
#1533
Annotations
2 errors
|
Run seL4/ci-actions/gitlint@master
Action gitlint failed.
|
|
|
background
wait
wait-all
cancel
parallel
Loading