seL4: Add new compilation targets #1468
python-app.yml
on: pull_request
build-baseline
4m 15s
build-macos
3m 6s
build-latest
2m 2s
typecheck
12m 48s