CI

docs: Add note about versions of seL4 and Microkit #143

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	6m 0s
Build docs	2m 14s
Check Kani proofs	3m 49s
Check licenses	14s
Check source	3m 9s
Run other tests	7m 29s
Run sel4test (aarch64)	6m 15s
Run sel4test (aarch32)	7m 3s
Run sel4test (riscv64)	7m 40s
Run sel4test (riscv32)	4m 43s
Run sel4test (x86_64)	7m 10s
Run sel4test (ia32)	2m 31s
Build everything	10m 28s
Deploy docs	56s
	1h 9m 41s