CI

cmm: Add note #170

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	8s
Check dependencies	2m 35s
Check source	1m 38s
Run sel4test (aarch64)	3m 56s
Build docs	1m 42s
Run sel4test (aarch32)	4m 10s
Run sel4test (riscv64)	4m 5s
Check Kani proofs	3m 5s
Run other tests	5m 57s
Run sel4test (riscv32)	3m 25s
Run sel4test (x86_64)	3m 58s
Run sel4test (ia32)	1m 25s
Build everything	5m 21s
Deploy docs	48s
	42m 13s