CI

Improve `aarch32` support throughout #227

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	14s
Check Kani proofs	3m 21s
Check dependencies	4m 30s
Build docs	8m 8s
Check source	2m 19s
Run other tests	14m 23s
Run sel4test (aarch64)	4m 28s
Run sel4test (aarch32)	4m 48s
Run sel4test (riscv64)	4m 45s
Run sel4test (riscv32)	4m 24s
Run sel4test (x86_64)	4m 50s
Run sel4test (ia32)	2m 4s
Build everything	7m 20s
Deploy docs	0s
	1h 5m 34s