CI

Address clippy lints #180

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 52s
Check Kani proofs	3m 9s
Check licenses	10s
Build docs	2m 23s
Check source	1m 49s
Run other tests	4m 54s
Run sel4test (aarch64)	4m 0s
Run sel4test (aarch32)	4m 35s
Run sel4test (riscv64)	4m 40s
Run sel4test (riscv32)	3m 47s
Run sel4test (x86_64)	4m 14s
Run sel4test (ia32)	1m 42s
Build everything	17m 11s
Deploy docs	52s
	56m 18s