CI

Update kernel loader docs #222

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 32s
Check licenses	13s
Check dependencies	4m 8s
Check Kani proofs	3m 47s
Check source	2m 35s
Run other tests	5m 38s
Run sel4test (aarch64)	4m 40s
Run sel4test (aarch32)	5m 1s
Run sel4test (riscv64)	4m 47s
Run sel4test (riscv32)	4m 49s
Run sel4test (x86_64)	4m 47s
Run sel4test (ia32)	2m 6s
Build everything	10m 52s
Deploy docs	48s
	56m 43s