CI

Show serial output in automated HTTP server test #89

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	2m 8s
Build docs	2m 27s
Run other tests	6m 2s
Run sel4test (aarch64)	5m 34s
Check dependencies	5m 5s
Run sel4test (aarch32)	6m 45s
Run sel4test (riscv64)	6m 0s
Run sel4test (riscv32)	4m 59s
Run sel4test (x86_64)	7m 30s
Run sel4test (ia32)	2m 17s
Build everything	7m 16s
Deploy docs	0s
	56m 3s