CI

nix: Bump seL4 and microkit revs #234

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	4m 30s
Check licenses	16s
Check Kani proofs	3m 16s
Build docs	1m 55s
Check source	2m 14s
Run other tests	5m 47s
Run sel4test (aarch64)	4m 36s
Run sel4test (aarch32)	5m 1s
Run sel4test (riscv64)	5m 12s
Run sel4test (riscv32)	4m 1s
Run sel4test (x86_64)	4m 34s
Run sel4test (ia32)	2m 14s
Build everything	8m 4s
Deploy docs	52s
	52m 32s