CI

Improve developer experience #162

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 59s
Check licenses	8s
Check dependencies	2m 40s
Check Kani proofs	3m 18s
Check source	1m 34s
Run other tests	4m 7s
Run sel4test (aarch64)	4m 1s
Run sel4test (aarch32)	4m 4s
Run sel4test (riscv64)	4m 1s
Run sel4test (riscv32)	3m 38s
Run sel4test (x86_64)	3m 59s
Run sel4test (ia32)	1m 42s
Build everything	7m 23s
Deploy docs	0s
	42m 34s