Back to pull request #44

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	13s
Check dependencies	5m 46s
Check Kani proofs	5m 31s
Build docs	2m 4s
Check source	2m 34s
Run other tests	5m 36s
Run sel4test (aarch64)	5m 21s
Run sel4test (aarch32)	6m 2s
Run sel4test (riscv64)	4m 33s
Run sel4test (riscv32)	3m 28s
Run sel4test (x86_64)	6m 20s
Run sel4test (ia32)	2m 28s
Build everything	8m 35s
Deploy docs	0s
	58m 31s