CI

cmm: Add `overrideDefaultFrontmatter` #156

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	8s
Check Kani proofs	3m 1s
Build docs	2m 23s
Check dependencies	2m 29s
Check source	2m 12s
Run other tests	5m 7s
Run sel4test (aarch64)	7m 0s
Run sel4test (aarch32)	4m 18s
Run sel4test (riscv64)	4m 13s
Run sel4test (riscv32)	3m 31s
Run sel4test (x86_64)	4m 7s
Run sel4test (ia32)	1m 34s
Build everything	8m 24s
Deploy docs	0s
	48m 27s