CI

Use symbolic versions of crates #175

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	10s
Build docs	1m 47s
Check Kani proofs	3m 16s
Check dependencies	2m 45s
Check source	2m 8s
Run other tests	9m 19s
Run sel4test (aarch64)	4m 16s
Run sel4test (aarch32)	4m 19s
Run sel4test (riscv64)	4m 9s
Run sel4test (riscv32)	3m 59s
Run sel4test (x86_64)	4m 15s
Run sel4test (ia32)	1m 38s
Build everything	7m 14s
Deploy docs	52s
	50m 7s