Test Kernel

update the ci #198

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sel4-test (spike)	4m 10s
sel4-test (spike)	4m 10s
test-build (riscv64, OFF)	1m 22s
test-build (riscv64, OFF)	1m 22s
sel4-test (qemu-arm-virt)	4m 17s
sel4-test (qemu-arm-virt)	4m 17s
sel4-test-mcs (spike)	2m 2s
sel4-test-mcs (spike)	4m 3s
test-build (riscv64, ON)	1m 29s
test-build (riscv64, ON)	1m 29s
sel4-test-mcs (qemu-arm-virt)	1m 57s
sel4-test-mcs (qemu-arm-virt)	4m 0s
test-build (aarch64, OFF)	1m 20s
test-build (aarch64, OFF)	1m 20s
test-build (aarch64, ON)	1m 23s
test-build (aarch64, ON)	1m 23s
	40m 4s