CI

nix: Bump Microkit #133

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 55s
Build docs	2m 16s
Check dependencies	7m 2s
Check licenses	11s
Check source	2m 34s
Run other tests	6m 22s
Run sel4test (aarch64)	5m 3s
Run sel4test (aarch32)	5m 55s
Run sel4test (riscv64)	5m 49s
Run sel4test (riscv32)	4m 46s
Run sel4test (x86_64)	5m 23s
Run sel4test (ia32)	1m 58s
Build everything	7m 21s
Deploy docs	52s
	59m 27s