CI

General trivial clean up #123

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	6m 10s
Check dependencies	6m 10s
Check licenses	13s
Check licenses	13s
Build docs	2m 3s
Build docs	2m 3s
Check Kani proofs	4m 9s
Check Kani proofs	4m 9s
Check source	3m 13s
Check source	3m 13s
Run other tests	4m 17s
Run other tests	5m 37s
Run sel4test (aarch64)	5m 24s
Run sel4test (aarch64)	5m 24s
Run sel4test (aarch32)	5m 55s
Run sel4test (aarch32)	5m 55s
Run sel4test (riscv64)	7m 27s
Run sel4test (riscv64)	7m 27s
Run sel4test (riscv32)	5m 46s
Run sel4test (riscv32)	5m 46s
Run sel4test (x86_64)	6m 22s
Run sel4test (x86_64)	6m 22s
Run sel4test (ia32)	2m 37s
Run sel4test (ia32)	2m 37s
Build everything	0s
Build everything	7m 40s
Deploy docs	0s
Deploy docs	0s
	1h 56m 12s