Back to pull request #76

nix: Bump seL4 and Microkit #233

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 15s
Check licenses	15s
Check dependencies	4m 28s
Build docs	1m 47s
Run other tests	5m 0s
Check source	2m 9s
Run sel4test (aarch64)	4m 35s
Run sel4test (aarch32)	4m 41s
Run sel4test (riscv64)	4m 49s
Run sel4test (riscv32)	4m 23s
Run sel4test (x86_64)	4m 37s
Run sel4test (ia32)	2m 2s
Build everything	20m 27s
Deploy docs	0s
	1h 2m 28s