CI

Address clippy lints #83

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	1m 46s
Check dependencies	4m 28s
Build docs	16m 1s
Run other tests	5m 52s
Run sel4test (aarch64)	6m 29s
Run sel4test (aarch32)	7m 35s
Run sel4test (riscv64)	7m 10s
Run sel4test (riscv32)	6m 11s
Run sel4test (x86_64)	7m 0s
Run sel4test (ia32)	2m 10s
Build everything	0s
Deploy docs	0s
	1h 4m 42s