CI

cmm: Clean up code #145

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	4m 24s
Check dependencies	4m 27s
Build docs	2m 28s
Check licenses	11s
Check source	3m 7s
Run other tests	4m 31s
Run sel4test (aarch64)	4m 13s
Run sel4test (aarch32)	4m 21s
Run sel4test (riscv64)	4m 18s
Run sel4test (riscv32)	3m 38s
Run sel4test (x86_64)	5m 35s
Run sel4test (ia32)	1m 55s
Build everything	6m 1s
Deploy docs	53s
	50m 2s