CI

Address clippy lints #179

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 42s
Check Kani proofs	3m 9s
Check licenses	8s
Build docs	2m 3s
Check source	1m 51s
Run other tests	5m 50s
Run sel4test (aarch64)	3m 58s
Run sel4test (aarch32)	10m 20s
Run sel4test (riscv64)	4m 21s
Run sel4test (riscv32)	3m 26s
Run sel4test (x86_64)	4m 18s
Run sel4test (ia32)	1m 31s
Build everything	7m 58s
Deploy docs	0s
	51m 35s