Skip to content
Test Kernel

try to clean the ffi kernel_stack_alloc ksIdleThreadTCB and Arch_fina… #157

Sign in to view logs

try to clean the ffi kernel_stack_alloc ksIdleThreadTCB and Arch_fina…

try to clean the ffi kernel_stack_alloc ksIdleThreadTCB and Arch_fina… #157

Run time

Learn about OS pricing on GitHub Actions
Job Run time
sel4-test
4m 2s
test-build (riscv64)
1m 22s
test-build (aarch64)
1m 19s
6m 43s