CI

nix: Add smallDiskImage drv for HTTP server demo #140

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	2m 39s
Check dependencies	5m 50s
Check licenses	12s
Run sel4test (aarch64)	8m 18s
Run sel4test (aarch32)	7m 4s
Build docs	2m 24s
Check Kani proofs	4m 39s
Run sel4test (riscv64)	6m 6s
Run sel4test (riscv32)	4m 45s
Run other tests	5m 50s
Run sel4test (x86_64)	7m 54s
Run sel4test (ia32)	1m 59s
Build everything	9m 19s
Deploy docs	1m 4s
	1h 8m 3s