CI

Improve comment wrap width consistency #164

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	14s
Check dependencies	2m 32s
Check Kani proofs	3m 26s
Build docs	1m 43s
Check source	2m 6s
Run other tests	4m 4s
Run sel4test (aarch64)	4m 1s
Run sel4test (aarch32)	4m 21s
Run sel4test (riscv64)	4m 26s
Run sel4test (riscv32)	3m 33s
Run sel4test (x86_64)	4m 5s
Run sel4test (ia32)	1m 33s
Build everything	7m 40s
Deploy docs	52s
	44m 36s