CI

Rework Cargo manifest management #113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	2m 10s
Run sel4test (aarch64)	6m 24s
Build docs	2m 1s
Run sel4test (aarch32)	6m 2s
Run sel4test (riscv64)	6m 42s
Check Kani proofs	4m 58s
Check dependencies	5m 7s
Run sel4test (riscv32)	5m 44s
Run sel4test (x86_64)	5m 20s
Check licenses	12s
Run sel4test (ia32)	2m 8s
Run other tests	47m 47s
Build everything	1m 44s
Deploy docs	0s
	1h 36m 19s