Skip to content

Actions: seL4/util_libs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
384 workflow runs
384 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cheshire (Digilent Genesys2) support
PR #524: Pull request #188 opened by omeh-a
November 25, 2024 02:38 Action required omeh-a:cheshire
November 25, 2024 02:38 Action required
Cheshire (Digilent Genesys2) support
CI #617: Pull request #188 opened by omeh-a
November 25, 2024 02:38 Action required omeh-a:cheshire
November 25, 2024 02:38 Action required
Cheshire (Digilent Genesys2) support
seL4Test-Sim #416: Pull request #188 opened by omeh-a
November 25, 2024 02:38 Action required omeh-a:cheshire
November 25, 2024 02:38 Action required
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
libplatsupport: use ltimer prefix for functions
seL4Test-Sim #410: Pull request #185 opened by axel-h
May 22, 2024 21:16 12m 55s axel-h:patch-axel-20
May 22, 2024 21:16 12m 55s
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