CI

Add `riscv32imafc` target specs #201

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	10s
Check dependencies	3m 37s
Check Kani proofs	3m 17s
Build docs	2m 37s
Check source	2m 28s
Run other tests	4m 24s
Run sel4test (aarch64)	4m 45s
Run sel4test (aarch32)	5m 10s
Run sel4test (riscv64)	4m 53s
Run sel4test (riscv32)	4m 13s
Run sel4test (x86_64)	4m 43s
Run sel4test (ia32)	2m 10s
Build everything	7m 28s
Deploy docs	0s
	49m 55s