Skip to content

Actions: seL4/sel4test

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-sim.yml
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix RPi4 failing sel4test in Release mode seL4Test #264: Pull request #150 synchronize by JDuchniewicz
9m 36s JDuchniewicz:rpi4_fix
JDuchniewicz:rpi4_fix
9m 36s
Fix RPi4 failing sel4test in Release mode seL4Test #263: Pull request #150 synchronize by JDuchniewicz
2m 6s JDuchniewicz:rpi4_fix
JDuchniewicz:rpi4_fix
2m 6s
Fix RPi4 failing sel4test in Release mode seL4Test #262: Pull request #150 opened by JDuchniewicz
9m 29s JDuchniewicz:rpi4_fix
JDuchniewicz:rpi4_fix
9m 29s
Tests for overmapping, and fixes for aarch32 PT tests seL4Test #261: Pull request #148 synchronize by Kswin01
3m 37s au-ts:prevent_overmap
au-ts:prevent_overmap
3m 37s
Tests for overmapping, and fixes for aarch32 PT tests seL4Test #260: Pull request #148 opened by Kswin01
3m 37s au-ts:prevent_overmap
au-ts:prevent_overmap
3m 37s
Disable TIMEOUTFAULT0003 for simulation seL4Test #256: Pull request #146 synchronize by Indanz
9m 37s Indanz:TIMEOUTFAULT0003
Indanz:TIMEOUTFAULT0003
9m 37s
Disable TIMEOUTFAULT0003 for simulation seL4Test #255: Pull request #146 opened by Indanz
10m 22s Indanz:TIMEOUTFAULT0003
Indanz:TIMEOUTFAULT0003
10m 22s
Add FPU tests for seL4_TCB_SetFlags seL4Test #254: Pull request #144 synchronize by Indanz
30m 3s Indanz:fpu
Indanz:fpu
30m 3s
Add FPU tests for seL4_TCB_SetFlags seL4Test #253: Pull request #144 synchronize by Indanz
9m 26s Indanz:fpu
Indanz:fpu
9m 26s
Fix test failures when -fshort-enums is used seL4Test #252: Pull request #145 opened by midnightveil
25m 55s midnightveil:short-enums-fix
midnightveil:short-enums-fix
25m 55s
Add FPU tests for seL4_TCB_SetFlags seL4Test #251: Pull request #144 synchronize by Indanz
54m 12s Indanz:fpu
Indanz:fpu
54m 12s
Add FPU tests for seL4_TCB_SetFlags seL4Test #250: Pull request #144 opened by Indanz
9m 35s Indanz:fpu
Indanz:fpu
9m 35s
ipc: re-enable test IPC0028 seL4Test #249: Pull request #123 synchronize by Indanz
13m 22s lsf37/IPC0028
lsf37/IPC0028
13m 22s
ltimer: use platsupport export where it makes sense seL4Test #248: Pull request #142 synchronize by midnightveil
13m 39s midnightveil:ltimer-use-platsupport
midnightveil:ltimer-use-platsupport
13m 39s
ltimer: use platsupport export where it makes sense seL4Test #247: Pull request #142 synchronize by Indanz
2m 7s midnightveil:ltimer-use-platsupport
midnightveil:ltimer-use-platsupport
2m 7s
ltimer: use platsupport export where it makes sense seL4Test #246: Pull request #142 synchronize by midnightveil
13m 42s midnightveil:ltimer-use-platsupport
midnightveil:ltimer-use-platsupport
13m 42s
ltimer: use platsupport export where it makes sense seL4Test #245: Pull request #142 opened by midnightveil
1m 50s midnightveil:ltimer-use-platsupport
midnightveil:ltimer-use-platsupport
1m 50s
Bump minimum CMake version seL4Test #244: Pull request #141 opened by Ivan-Velickovic
13m 39s cmake_bump_version
cmake_bump_version
13m 39s
CACHEFLUSH: More resilient cache invalidate tests seL4Test #243: Pull request #140 synchronize by Indanz
13m 46s Indanz:cacheflush1
Indanz:cacheflush1
13m 46s
CACHEFLUSH: More resilient cache invalidate tests seL4Test #242: Pull request #140 opened by Indanz
3m 27s Indanz:cacheflush1
Indanz:cacheflush1
3m 27s
vspace: use ASIDPoolBits for the ASIDPool untypes seL4Test #241: Pull request #139 synchronize by midnightveil
13m 18s midnightveil:asidpool-page-bits
midnightveil:asidpool-page-bits
13m 18s
vspace: use ASIDPoolBits for the ASIDPool untypes seL4Test #240: Pull request #139 opened by midnightveil
19s midnightveil:asidpool-page-bits
midnightveil:asidpool-page-bits
19s
vspace004: allocate a cap for the final pool seL4Test #239: Pull request #133 synchronize by Indanz
16m 57s midnightveil:asidpool-test-fix
midnightveil:asidpool-test-fix
16m 57s
github: use central CI workflows seL4Test #238: Pull request #138 opened by lsf37
13m 15s lsf37/central-workflows
lsf37/central-workflows
13m 15s
Fix style errors seL4Test #237: Commit a52904a pushed by Indanz
13m 11s master
master
13m 11s