I have downloaded and run the build artefact that produced a successful run for you. Started out running exactly as your CI job until ... <testcase classname="sel4test" name="FRAMEDIPC0001"> </testcase> <testcase classname="sel4test" name="FRAMEDIPC0002"> </testcase> <testcase classname="sel4test" name="FRAMEDIPC0003"> </testcase> <testcase classname="sel4test" name="FRAMEEXPORTS0001"> Pagefault from [FRAMEEXPORTS0001]: read fault at PC: 0x411080 vaddr: 0x11000000, FSR 0x92000210 Register of root thread in test (may not be the thread that faulted) Register dump: pc: 0x411080 sp: 0x10011900 spsr: 0x60000140 x0: 0x11000000 x1: 0x0 x2: 0x55 x3: 0x15 x4: 0xffffffffffffffff x5: 0x0 x6: 0x0 x7: 0xffffffffffffffff x8: 0x0 x16: 0x0 x17: 0x0 x18: 0x11000000 x29: 0x10011900 x30: 0x411304 x9: 0x7f0000007000 x10: 0x11200000 x11: 0x40000000 x12: 0x7effffffe000 x13: 0x8000000000 x14: 0x15 x15: 0x4b8060 x19: 0x11000000 x20: 0x10 x21: 0x0 x22: 0x466738 x23: 0x20000 x24: 0x464dc8 x25: 0x466588 x26: 0x466000 x27: 0x55 x28: 0x15 tpidr_el0: 0x5b7f50 tpidrro_el0: 0x0 <failure type="failure">result == SUCCESS at line 291 of file /github/workspace/projects/sel4test/ap> <error>result == SUCCESS at line 217 of file /github/workspace/projects/sel4test/apps/sel4test-drive> </testcase> <testcase classname="sel4test" name="FRAMEXN0001"> </testcase> <testcase classname="sel4test" name="FRAMEXN0002"> </testcase> <testcase classname="sel4test" name="IPC0001"> </testcase> <testcase classname="sel4test" name="IPC0002"> </testcase> <testcase classname="sel4test" name="IPC0003"> </testcase> <testcase classname="sel4test" name="IPC0004"> </testcase> <testcase classname="sel4test" name="IPC0010"> </testcase> <testcase classname="sel4test" name="IPC1001">