CI

Improve `aarch32` support throughout #226

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	15s
Build docs	8m 35s
Check Kani proofs	3m 12s
Check dependencies	4m 35s
Check source	2m 22s
Run other tests	12m 48s
Run sel4test (aarch64)	4m 59s
Run sel4test (aarch32)	5m 25s
Run sel4test (riscv64)	5m 29s
Run sel4test (riscv32)	4m 45s
Run sel4test (x86_64)	5m 16s
Run sel4test (ia32)	2m 14s
Build everything	0s
Deploy docs	0s
	59m 55s