CI

Use impure nix-shell in Makefile #167

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	1m 29s
Check dependencies	3m 1s
Check licenses	9s
Run sel4test (aarch64)	3m 58s
Build docs	1m 31s
Run sel4test (aarch32)	4m 52s
Run sel4test (riscv64)	4m 4s
Run sel4test (riscv32)	3m 43s
Run other tests	4m 45s
Check Kani proofs	2m 51s
Run sel4test (x86_64)	4m 11s
Run sel4test (ia32)	1m 40s
Build everything	5m 23s
Deploy docs	49s
	42m 26s