CI

Make HTTP server more robust #237

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	4m 7s
Build docs	1m 52s
Check Kani proofs	3m 29s
Check licenses	24s
Check source	2m 14s
Run other tests	5m 34s
Run sel4test (aarch64)	9m 7s
Run sel4test (aarch32)	4m 51s
Run sel4test (riscv64)	4m 57s
Run sel4test (riscv32)	4m 1s
Run sel4test (x86_64)	4m 41s
Run sel4test (ia32)	2m 7s
Build everything	6m 55s
Deploy docs	0s
	54m 19s