CI

Use impure `nix-shell` in Makefile #166

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 39s
Build docs	1m 33s
Check Kani proofs	3m 11s
Check licenses	10s
Run other tests	5m 1s
Check source	1m 42s
Run sel4test (aarch64)	4m 0s
Run sel4test (aarch32)	4m 11s
Run sel4test (riscv64)	4m 22s
Run sel4test (riscv32)	3m 24s
Run sel4test (x86_64)	4m 23s
Run sel4test (ia32)	1m 38s
Build everything	5m 11s
Deploy docs	0s
	41m 25s