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

libplatsupport: separate drivers from platforms seL4Test-HW #329: Pull request #157 synchronize by axel-h
May 21, 2024 10:52 43m 7s
May 21, 2024 10:52 43m 7s
Update libftd to v1.7.0 seL4Test-HW #328: Pull request #163 synchronize by axel-h
May 21, 2024 10:52 5s
May 21, 2024 10:52 5s
libplatsupport: use proper return type seL4Test-HW #327: Pull request #184 synchronize by lsf37
May 16, 2024 23:12 46m 13s
May 16, 2024 23:12 46m 13s
libplatsupport: use proper return type seL4Test-HW #326: Pull request #184 synchronize by axel-h
May 16, 2024 14:02 43m 17s
May 16, 2024 14:02 43m 17s
libplatsupport: use proper return type seL4Test-HW #325: Pull request #184 opened by axel-h
May 16, 2024 13:35 27m 44s
May 16, 2024 13:35 27m 44s
libplatsupport: use proper return type seL4Test-HW #324: Pull request #184 labeled by axel-h
May 16, 2024 13:35 11s
May 16, 2024 13:35 11s
trivial: fix typo in comment seL4Test-HW #323: Pull request #183 opened by axel-h
May 16, 2024 12:10 5s
May 16, 2024 12:10 5s
libplatsupport: Add support for imx8mp-evk seL4Test-HW #322: Pull request #182 opened by nomadeel
May 15, 2024 05:59 5s
May 15, 2024 05:59 5s
libplatsupport: separate drivers from platforms seL4Test-HW #321: Pull request #157 synchronize by axel-h
March 11, 2024 12:56 43m 39s
March 11, 2024 12:56 43m 39s
Update libftd to v1.7.0 seL4Test-HW #320: Pull request #163 synchronize by axel-h
March 11, 2024 12:55 4s
March 11, 2024 12:55 4s
CI: cancel older concurrent PR runs seL4Test-HW #319: Pull request #181 synchronize by axel-h
March 6, 2024 09:31 7s
March 6, 2024 09:31 7s
CI: cancel older concurrent PR runs seL4Test-HW #318: Pull request #181 synchronize by axel-h
March 5, 2024 17:30 3s
March 5, 2024 17:30 3s
CI: cancel older concurrent PR runs seL4Test-HW #317: Pull request #181 synchronize by axel-h
March 5, 2024 17:28 4s
March 5, 2024 17:28 4s
CI: cancel older concurrent PR runs seL4Test-HW #316: Pull request #181 opened by axel-h
March 5, 2024 16:41 6s
March 5, 2024 16:41 6s
CI: cancel older concurrent PR runs seL4Test-HW #315: Pull request #181 labeled by axel-h
March 5, 2024 16:41 5s
March 5, 2024 16:41 5s
libplatsupport: separate drivers from platforms seL4Test-HW #314: Pull request #157 synchronize by axel-h
March 4, 2024 22:05 43m 45s
March 4, 2024 22:05 43m 45s
Update libftd to v1.7.0 seL4Test-HW #313: Pull request #163 synchronize by axel-h
March 4, 2024 22:03 5s
March 4, 2024 22:03 5s
libplatsupport: separate drivers from platforms seL4Test-HW #312: Pull request #157 synchronize by axel-h
March 4, 2024 19:12 44m 29s
March 4, 2024 19:12 44m 29s
Update libftd to v1.7.0 seL4Test-HW #311: Pull request #163 synchronize by axel-h
March 4, 2024 19:09 8s
March 4, 2024 19:09 8s
libethdrivers: make zynqmp driver usable seL4Test-HW #310: Pull request #161 synchronize by axel-h
March 4, 2024 19:09 43m 12s
March 4, 2024 19:09 43m 12s
libplatsupport: use proper format specifier seL4Test-HW #309: Pull request #180 labeled by axel-h
February 28, 2024 23:31 43m 49s
February 28, 2024 23:31 43m 49s
libplatsupport: use proper format specifier seL4Test-HW #308: Pull request #180 synchronize by axel-h
February 28, 2024 23:30 4s
February 28, 2024 23:30 4s
libplatsupport: use proper format specifier seL4Test-HW #307: Pull request #180 opened by axel-h
February 28, 2024 23:28 6s
February 28, 2024 23:28 6s
[FIX] Fix bcm pl011 UART seL4Test-HW #306: Pull request #168 synchronize by FelixSchladt
February 26, 2024 08:34 44m 14s
February 26, 2024 08:34 44m 14s
[FIX] Fix bcm pl011 UART seL4Test-HW #305: Pull request #168 synchronize by FelixSchladt
February 26, 2024 08:33 43m 39s
February 26, 2024 08:33 43m 39s