CI

Simplify Cargo manifest generation Nix tool #124

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	3m 5s
Check licenses	14s
Check Kani proofs	3m 38s
Check dependencies	6m 37s
Run other tests	5m 32s
Check source	2m 56s
Run sel4test (aarch64)	7m 29s
Run sel4test (aarch32)	5m 52s
Run sel4test (riscv64)	6m 43s
Run sel4test (riscv32)	4m 45s
Run sel4test (x86_64)	5m 22s
Run sel4test (ia32)	1m 58s
Build everything	8m 30s
Deploy docs	54s
	1h 3m 35s