seL4: Add new compilation targets #1442
python-app.yml
on: pull_request
build-baseline
36s
build-macos
2m 42s
build-latest
16s
typecheck
12m 46s
Annotations
3 errors
build-latest
Process completed with exit code 1.
|
build-baseline
Process completed with exit code 1.
|
build-macos
Process completed with exit code 1.
|