CI

Address clippy lints #193

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 50s
Check licenses	9s
Check Kani proofs	3m 12s
Check dependencies	2m 52s
Run other tests	5m 43s
Check source	1m 41s
Run sel4test (aarch64)	3m 58s
Run sel4test (aarch32)	4m 33s
Run sel4test (riscv64)	4m 14s
Run sel4test (riscv32)	3m 43s
Run sel4test (x86_64)	4m 3s
Run sel4test (ia32)	1m 35s
Build everything	5m 59s
Deploy docs	48s
	44m 20s