docs: Add note about versions of seL4 and Microkit #142
nspin
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
push.yaml
on: pull_request
Matrix: Run sel4test
Check licenses
13s
Check source
2m 34s
Run other tests
5m 36s
Build docs
2m 4s
Deploy docs
0s