CI

Improve developer experience #161

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 30s
Check Kani proofs	3m 17s
Check dependencies	2m 23s
Check licenses	9s
Check source	1m 37s
Run other tests	4m 2s
Run sel4test (aarch64)	3m 52s
Run sel4test (aarch32)	4m 31s
Run sel4test (riscv64)	4m 27s
Run sel4test (riscv32)	3m 30s
Run sel4test (x86_64)	3m 59s
Run sel4test (ia32)	1m 36s
Build everything	6m 26s
Deploy docs	0s
	41m 19s