CI

nix: Add `riscv*gc` targets #169

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run sel4test (aarch64)	5m 22s
Run sel4test (aarch32)	5m 22s
Build docs	3m 42s
Check dependencies	2m 53s
Run sel4test (riscv64)	5m 6s
Check Kani proofs	3m 23s
Run sel4test (riscv32)	4m 34s
Check licenses	9s
Run sel4test (x86_64)	4m 50s
Check source	1m 30s
Run other tests	15m 30s
Run sel4test (ia32)	1m 25s
Build everything	22m 30s
Deploy docs	0s
	1h 16m 16s