platforms: allow setting extra flags to be passed to build #766
Annotations
1 error
|
Run seL4/ci-actions/gitlint@master
Action gitlint failed.
|
The logs for this run have expired and are no longer available.
Loading