CI

CI #240

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	4m 17s
Check source	2m 19s
Run sel4test (aarch64)	4m 18s
Check licenses	15s
Build docs	2m 10s
Run sel4test (aarch32)	5m 6s
Run sel4test (riscv64)	4m 51s
Check Kani proofs	3m 12s
Run sel4test (riscv32)	3m 54s
Run other tests	25m 9s
Run sel4test (x86_64)	4m 36s
Run sel4test (ia32)	2m 13s
Build everything	11m 2s
Deploy docs	0s
	1h 13m 22s