Test Kernel

Update kernel (#16) #97

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sel4-test (spike)	1m 50s
sel4-test (spike)	2m 24s
sel4-test (spike)	4m 20s
test-build (riscv64)	1m 24s
test-build (riscv64)	1m 15s
test-build (riscv64)	1m 15s
sel4-test (qemu-arm-virt)	1m 46s
sel4-test (qemu-arm-virt)	2m 7s
sel4-test (qemu-arm-virt)	4m 13s
test-build (aarch64)	1m 15s
test-build (aarch64)	1m 12s
test-build (aarch64)	1m 12s
	24m 13s