CI

cmm: Fix handling of top-level arrays of tables #168

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run sel4test (aarch64)	3m 45s
Run sel4test (aarch32)	4m 12s
Check dependencies	2m 52s
Check Kani proofs	3m 9s
Run sel4test (riscv64)	4m 3s
Build docs	1m 34s
Run sel4test (riscv32)	3m 55s
Run sel4test (x86_64)	4m 3s
Check licenses	8s
Check source	1m 32s
Run sel4test (ia32)	1m 35s
Run other tests	4m 46s
Build everything	7m 1s
Deploy docs	0s
	42m 35s