Test Kernel

git subrepo update commit for Merge pull request #10 from rel4team/cl… #67

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-build (riscv64)	1m 20s
test-build (aarch64)	1m 15s
sel4-test (spike)	4m 29s
sel4-test (qemu-arm-virt)	3m 54s
	10m 58s