CI

cmm: Use toml-normalize lib instead of bin #148

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 49s
Check Kani proofs	3m 46s
Check dependencies	7m 21s
Check licenses	13s
Check source	2m 16s
Run sel4test (aarch64)	5m 13s
Run other tests	4m 13s
Run sel4test (aarch32)	6m 45s
Run sel4test (riscv64)	4m 28s
Run sel4test (riscv32)	4m 47s
Run sel4test (x86_64)	7m 18s
Run sel4test (ia32)	1m 35s
Build everything	6m 38s
Deploy docs	49s
	58m 11s