Skip to content

Actions: seL4/util_libs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
386 workflow runs
386 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial i.MX93 support
PR #525: Pull request #189 opened by Indanz
November 29, 2024 13:15 18s Indanz:imx93
November 29, 2024 13:15 18s
Initial i.MX93 support
seL4Test-Sim #417: Pull request #189 opened by Indanz
November 29, 2024 13:15 9m 28s Indanz:imx93
November 29, 2024 13:15 9m 28s
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
PR #524: Pull request #188 opened by omeh-a
November 25, 2024 02:38 22s omeh-a:cheshire
November 25, 2024 02:38 22s
Cheshire (Digilent Genesys2) support
CI #617: Pull request #188 opened by omeh-a
November 25, 2024 02:38 38s omeh-a:cheshire
November 25, 2024 02:38 38s
Cheshire (Digilent Genesys2) support
seL4Test-Sim #416: Pull request #188 opened by omeh-a
November 25, 2024 02:38 9m 38s omeh-a:cheshire
November 25, 2024 02:38 9m 38s
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
PR #523: Pull request #187 opened by jcdubois
October 8, 2024 15:45 19s jcdubois:imx7
October 8, 2024 15:45 19s
Fix libplatsupport for Imx7
CI #616: Pull request #187 opened by jcdubois
October 8, 2024 15:45 28s jcdubois:imx7
October 8, 2024 15:45 28s
Fix libplatsupport for Imx7
seL4Test-Sim #415: Pull request #187 opened by jcdubois
October 8, 2024 15:45 12m 38s jcdubois:imx7
October 8, 2024 15:45 12m 38s
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
Trigger #61: Commit f98dad1 pushed by kent-mcleod
June 12, 2024 12:47 2m 3s master
June 12, 2024 12:47 2m 3s
libplatsupport: Add support for imx8mp-evk
seL4Test-Sim #413: Commit f98dad1 pushed by kent-mcleod
June 12, 2024 12:47 14m 43s master
June 12, 2024 12:47 14m 43s
libplatsupport: Add support for imx8mp-evk
CI #614: Commit f98dad1 pushed by kent-mcleod
June 12, 2024 12:47 2m 42s master
June 12, 2024 12:47 2m 42s
libplatsupport: Add support for imx8mp-evk
seL4Test-Sim #412: Pull request #182 synchronize by nomadeel
June 12, 2024 05:59 12m 39s nomadeel:imx8mp_evk
June 12, 2024 05:59 12m 39s
libplatsupport: Add support for imx8mp-evk
CI #613: Pull request #182 synchronize by nomadeel
June 12, 2024 05:59 26s nomadeel:imx8mp_evk
June 12, 2024 05:59 26s
libplatsupport: Add support for imx8mp-evk
PR #521: Pull request #182 synchronize by nomadeel
June 12, 2024 05:59 26s nomadeel:imx8mp_evk
June 12, 2024 05:59 26s
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
CI #612: Pull request #167 synchronize by Ivan-Velickovic
June 11, 2024 16:09 31s canarysnort01:star64
June 11, 2024 16:09 31s
Add pine64 star64 platform
seL4Test-Sim #411: Pull request #167 synchronize by Ivan-Velickovic
June 11, 2024 16:09 12m 47s canarysnort01:star64
June 11, 2024 16:09 12m 47s
Add pine64 star64 platform
PR #520: Pull request #167 synchronize by Ivan-Velickovic
June 11, 2024 16:09 26s canarysnort01:star64
June 11, 2024 16:09 26s
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