docs: Refer to most recent 13.0.0 seL4 commit #448
nspinpush.yaml
on: push
Check licenses
24s
Check source
2m 50s
Run other tests
7m 15s
Build docs
3m 59s
Deploy docs
28s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
github-pages
Expired
|
143 MB |
|