Skip to content

Actions: seL4/util_libs

Actions

seL4Test-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-hw.yml
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

libethdrivers: make zynqmp driver usable seL4Test-HW #279: Pull request #161 synchronize by axel-h
January 12, 2024 12:10 5s
January 12, 2024 12:10 5s
Update libftd to v1.7.0 seL4Test-HW #278: Pull request #163 synchronize by axel-h
January 12, 2024 12:10 6s
January 12, 2024 12:10 6s
libplatsupport: separate drivers from platforms seL4Test-HW #277: Pull request #157 synchronize by axel-h
January 12, 2024 12:06 3h 59m 2s
January 12, 2024 12:06 3h 59m 2s
libplatsupport: separate drivers from platforms seL4Test-HW #276: Pull request #157 synchronize by axel-h
January 11, 2024 19:40 6h 59m 42s
January 11, 2024 19:40 6h 59m 42s
libplatsupport: separate drivers from platforms seL4Test-HW #275: Pull request #157 synchronize by axel-h
January 11, 2024 19:36 51m 14s
January 11, 2024 19:36 51m 14s
libplatsupport: separate drivers from platforms seL4Test-HW #274: Pull request #157 synchronize by axel-h
January 11, 2024 19:33 3m 34s
January 11, 2024 19:33 3m 34s
libplatsupport: separate drivers from platforms seL4Test-HW #273: Pull request #157 synchronize by axel-h
January 11, 2024 18:18 48m 31s
January 11, 2024 18:18 48m 31s
libplatsupport: separate drivers from platforms seL4Test-HW #272: Pull request #157 synchronize by axel-h
January 11, 2024 18:10 51m 2s
January 11, 2024 18:10 51m 2s
libplatsupport: separate drivers from platforms seL4Test-HW #271: Pull request #157 synchronize by axel-h
January 11, 2024 18:10 2m 56s
January 11, 2024 18:10 2m 56s
libplatsupport: separate drivers from platforms seL4Test-HW #270: Pull request #157 synchronize by axel-h
January 11, 2024 17:57 15m 10s
January 11, 2024 17:57 15m 10s
libplatsupport: separate drivers from platforms seL4Test-HW #269: Pull request #157 synchronize by axel-h
January 11, 2024 17:57 16m 20s
January 11, 2024 17:57 16m 20s
do simulation and HW build with LLVM on RISCV seL4Test-HW #268: Pull request #173 opened by axel-h
January 11, 2024 16:47 5s
January 11, 2024 16:47 5s
do simulation and HW build with LLVM on RISCV seL4Test-HW #267: Pull request #173 labeled by axel-h
January 11, 2024 16:47 4s
January 11, 2024 16:47 4s
libplatsupport: separate drivers from platforms seL4Test-HW #266: Pull request #157 synchronize by axel-h
January 11, 2024 16:27 1h 46m 7s
January 11, 2024 16:27 1h 46m 7s
libplatsupport: separate drivers from platforms seL4Test-HW #265: Pull request #157 synchronize by axel-h
January 11, 2024 16:18 1h 54m 31s
January 11, 2024 16:18 1h 54m 31s
libplatsupport: separate drivers from platforms seL4Test-HW #264: Pull request #157 synchronize by axel-h
January 11, 2024 16:09 2h 3m 16s
January 11, 2024 16:09 2h 3m 16s
morello: Add support for QEMU platform seL4Test-HW #263: Pull request #172 synchronize by heshamelmatary
January 11, 2024 15:26 5s
January 11, 2024 15:26 5s
morello: Add support for QEMU platform seL4Test-HW #262: Pull request #172 opened by heshamelmatary
January 11, 2024 15:19 6s
January 11, 2024 15:19 6s