Skip to content

Actions: seL4/util_libs

Actions

seL4Test-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

libutils: use proper macro name in comment seL4Test-HW #293: Pull request #178 synchronize by axel-h
January 31, 2024 19:28 3s
January 31, 2024 19:28 3s
libutils: use proper macro name in comment seL4Test-HW #292: Pull request #178 opened by axel-h
January 31, 2024 19:25 5s
January 31, 2024 19:25 5s
libutils: add kernel word size related CTZ macro seL4Test-HW #291: Pull request #176 labeled by axel-h
January 31, 2024 19:15 4s
January 31, 2024 19:15 4s
libplatsupport/morello: Add basic drivers for morello-soc seL4Test-HW #290: Pull request #177 opened by heshamelmatary
January 31, 2024 11:19 6s
January 31, 2024 11:19 6s
libutils: add kernel word size related CTZ macro seL4Test-HW #289: Pull request #176 opened by colorglass
January 31, 2024 01:41 4s
January 31, 2024 01:41 4s
libplatsupport/morello: Add basic drivers for fvp seL4Test-HW #288: Pull request #175 synchronize by heshamelmatary
January 30, 2024 14:08 6s
January 30, 2024 14:08 6s
libplatsupport/morello: Add basic drivers for fvp seL4Test-HW #287: Pull request #175 synchronize by heshamelmatary
January 30, 2024 14:06 6s
January 30, 2024 14:06 6s
libplatsupport/morello: Add basic drivers for fvp seL4Test-HW #286: Pull request #175 synchronize by heshamelmatary
January 30, 2024 13:57 5s
January 30, 2024 13:57 5s
libplatsupport/morello: Add basic drivers for fvp seL4Test-HW #285: Pull request #175 opened by heshamelmatary
January 30, 2024 13:50 6s
January 30, 2024 13:50 6s
github: retire pr-queue action seL4Test-HW #284: Pull request #174 labeled by lsf37
January 28, 2024 01:48 4s
January 28, 2024 01:48 4s
github: retire pr-queue action seL4Test-HW #283: Pull request #174 opened by lsf37
January 28, 2024 00:52 4s
January 28, 2024 00:52 4s
libethdrivers: make zynqmp driver usable seL4Test-HW #282: Pull request #161 labeled by axel-h
January 12, 2024 14:52 51m 17s
January 12, 2024 14:52 51m 17s
morello: Add support for QEMU platform seL4Test-HW #281: Pull request #172 synchronize by heshamelmatary
January 12, 2024 14:23 6s
January 12, 2024 14:23 6s
morello: Add support for QEMU platform seL4Test-HW #280: Pull request #172 synchronize by heshamelmatary
January 12, 2024 12:27 3s
January 12, 2024 12:27 3s
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