CI

nix: Add `riscv*gc` targets #171

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	1m 43s
Check licenses	16s
Check Kani proofs	3m 4s
Build docs	3m 44s
Check dependencies	2m 31s
Run sel4test (aarch64)	4m 57s
Run other tests	12m 38s
Run sel4test (aarch32)	5m 9s
Run sel4test (riscv64)	5m 10s
Run sel4test (riscv32)	4m 27s
Run sel4test (x86_64)	4m 55s
Run sel4test (ia32)	1m 26s
Build everything	23m 43s
Deploy docs	0s
	1h 13m 43s