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

Add support for SiFive Premier P550 seL4Test-HW #354: Pull request #190 synchronize by Ivan-Velickovic
February 17, 2025 13:08 5s
February 17, 2025 13:08 5s
Add support for SiFive Premier P550 seL4Test-HW #353: Pull request #190 synchronize by Ivan-Velickovic
February 17, 2025 13:05 6s
February 17, 2025 13:05 6s
Add support for SiFive Premier P550 seL4Test-HW #352: Pull request #190 opened by Ivan-Velickovic
February 11, 2025 05:14 6s
February 11, 2025 05:14 6s
Initial i.MX93 support seL4Test-HW #351: Pull request #189 synchronize by Indanz
February 9, 2025 12:34 5s
February 9, 2025 12:34 5s
Cheshire (Digilent Genesys2) support seL4Test-HW #350: Pull request #188 synchronize by omeh-a
February 4, 2025 05:40 4s
February 4, 2025 05:40 4s
Cheshire (Digilent Genesys2) support seL4Test-HW #349: Pull request #188 synchronize by omeh-a
February 4, 2025 05:14 4s
February 4, 2025 05:14 4s
Cheshire (Digilent Genesys2) support seL4Test-HW #348: Pull request #188 synchronize by omeh-a
February 3, 2025 02:15 5s
February 3, 2025 02:15 5s
Cheshire (Digilent Genesys2) support seL4Test-HW #347: Pull request #188 synchronize by omeh-a
January 23, 2025 00:51 5s
January 23, 2025 00:51 5s
Cheshire (Digilent Genesys2) support seL4Test-HW #346: Pull request #188 synchronize by omeh-a
January 23, 2025 00:50 4s
January 23, 2025 00:50 4s
Cheshire (Digilent Genesys2) support seL4Test-HW #345: Pull request #188 synchronize by omeh-a
January 23, 2025 00:48 5s
January 23, 2025 00:48 5s
Initial i.MX93 support seL4Test-HW #344: Pull request #189 synchronize by Indanz
December 16, 2024 12:59 6s
December 16, 2024 12:59 6s
Initial i.MX93 support seL4Test-HW #343: Pull request #189 synchronize by Indanz
December 11, 2024 12:56 6s
December 11, 2024 12:56 6s
Initial i.MX93 support seL4Test-HW #342: Pull request #189 synchronize by Indanz
December 11, 2024 11:45 6s
December 11, 2024 11:45 6s
Initial i.MX93 support seL4Test-HW #341: Pull request #189 synchronize by Indanz
December 4, 2024 19:08 7s
December 4, 2024 19:08 7s
Initial i.MX93 support seL4Test-HW #340: Pull request #189 synchronize by Indanz
December 4, 2024 18:46 5s
December 4, 2024 18:46 5s
Initial i.MX93 support seL4Test-HW #339: Pull request #189 synchronize by Indanz
November 29, 2024 14:36 5s
November 29, 2024 14:36 5s
Initial i.MX93 support seL4Test-HW #338: Pull request #189 synchronize by Indanz
November 29, 2024 14:34 6s
November 29, 2024 14:34 6s
Initial i.MX93 support seL4Test-HW #337: Pull request #189 opened by Indanz
November 29, 2024 13:15 7s
November 29, 2024 13:15 7s
Cheshire (Digilent Genesys2) support seL4Test-HW #336: Pull request #188 opened by omeh-a
November 25, 2024 02:38 4s
November 25, 2024 02:38 4s
Fix libplatsupport for Imx7 seL4Test-HW #335: Pull request #187 opened by jcdubois
October 8, 2024 15:45 6s
October 8, 2024 15:45 6s
pc99,libplatsupport: rename ega --> vga to keep device names consistent seL4Test-HW #334: Pull request #186 opened by ericspidledw
July 1, 2024 16:35 5s
July 1, 2024 16:35 5s
libplatsupport: Add support for imx8mp-evk seL4Test-HW #333: Pull request #182 synchronize by nomadeel
June 12, 2024 05:59 5s
June 12, 2024 05:59 5s
Add pine64 star64 platform seL4Test-HW #332: Pull request #167 synchronize by Ivan-Velickovic
June 11, 2024 16:09 5s
June 11, 2024 16:09 5s
libplatsupport: use ltimer prefix for functions seL4Test-HW #331: Pull request #185 opened by axel-h
May 22, 2024 21:16 44m 10s
May 22, 2024 21:16 44m 10s
libplatsupport: use ltimer prefix for functions seL4Test-HW #330: Pull request #185 labeled by axel-h
May 22, 2024 21:16 11s
May 22, 2024 21:16 11s