CI

Improve developer experience #163

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 40s
Run sel4test (aarch64)	4m 0s
Check Kani proofs	3m 8s
Run sel4test (aarch32)	4m 18s
Build docs	1m 54s
Run sel4test (riscv64)	4m 29s
Check licenses	10s
Run sel4test (riscv32)	3m 37s
Check source	1m 36s
Run other tests	4m 42s
Run sel4test (x86_64)	4m 10s
Run sel4test (ia32)	1m 39s
Build everything	4m 40s
Deploy docs	0s
	41m 3s