CI

ci: Minimize scope of project source #85

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	4m 30s
Build docs	12m 42s
Run other tests	14m 51s
Check source	2m 6s
Run sel4test (aarch64)	6m 38s
Run sel4test (aarch32)	10m 37s
Run sel4test (riscv64)	8m 53s
Run sel4test (riscv32)	6m 40s
Run sel4test (x86_64)	7m 14s
Run sel4test (ia32)	2m 2s
Build everything	12m 14s
Deploy docs	49s
	1h 29m 16s