Skip to content

Actions: seL4/sel4test

Actions

HW

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hw-tests.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix RPi4 failing sel4test in Release mode HW #18: Pull request #150 synchronize by JDuchniewicz
2s
2s
Fix RPi4 failing sel4test in Release mode HW #17: Pull request #150 synchronize by JDuchniewicz
2s
2s
Tests for overmapping, and fixes for aarch32 PT tests HW #16: Pull request #148 synchronize by Kswin01
1s
1s
Feat/memcpy bench HW #15: Pull request #147 synchronize by evancich
1s
1s
Feat/memcpy bench HW #14: Pull request #147 synchronize by evancich
1s
1s
Disable TIMEOUTFAULT0003 for simulation HW #13: Pull request #146 synchronize by Indanz
2s
2s
Add FPU tests for seL4_TCB_SetFlags HW #12: Pull request #144 labeled by Indanz
7h 3m 11s
7h 3m 11s
Add FPU tests for seL4_TCB_SetFlags HW #11: Pull request #144 synchronize by Indanz
1s
1s
Add FPU tests for seL4_TCB_SetFlags HW #10: Pull request #144 synchronize by Indanz
1s
1s
Add FPU tests for seL4_TCB_SetFlags HW #9: Pull request #144 synchronize by Indanz
1s
1s
ipc: re-enable test IPC0028 HW #8: Pull request #123 synchronize by Indanz
2s
2s
ltimer: use platsupport export where it makes sense HW #7: Pull request #142 synchronize by midnightveil
1h 17m 47s
1h 17m 47s
ltimer: use platsupport export where it makes sense HW #6: Pull request #142 labeled by Indanz
15m 57s
15m 57s
ltimer: use platsupport export where it makes sense HW #5: Pull request #142 synchronize by Indanz
2s
2s
ltimer: use platsupport export where it makes sense HW #4: Pull request #142 synchronize by midnightveil
1s
1s
CACHEFLUSH: More resilient cache invalidate tests HW #3: Pull request #140 synchronize by Indanz
5s
5s
vspace: use ASIDPoolBits for the ASIDPool untypes HW #2: Pull request #139 synchronize by midnightveil
5s
5s
vspace004: allocate a cap for the final pool HW #1: Pull request #133 synchronize by Indanz
2h 3m 58s
2h 3m 58s