Skip to content

Actions: seL4/util_libs

Actions

seL4Test-Sim

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-sim.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for SiFive Premier P550 seL4Test-Sim #436: Pull request #190 synchronize by Ivan-Velickovic
February 17, 2025 13:08 9m 52s Ivan-Velickovic:p550
Ivan-Velickovic:p550
February 17, 2025 13:08 9m 52s
Add support for SiFive Premier P550 seL4Test-Sim #435: Pull request #190 synchronize by Ivan-Velickovic
February 17, 2025 13:05 3m 35s Ivan-Velickovic:p550
Ivan-Velickovic:p550
February 17, 2025 13:05 3m 35s
Add support for SiFive Premier P550 seL4Test-Sim #434: Pull request #190 opened by Ivan-Velickovic
February 11, 2025 05:14 9m 37s Ivan-Velickovic:p550
Ivan-Velickovic:p550
February 11, 2025 05:14 9m 37s
i.MX 93: Add Low Power Timer (LPTMR) Driver seL4Test-Sim #433: Commit 1bc0e79 pushed by Indanz
February 9, 2025 12:39 9m 27s master
master
February 9, 2025 12:39 9m 27s
Initial i.MX93 support seL4Test-Sim #432: Pull request #189 synchronize by Indanz
February 9, 2025 12:34 9m 31s Indanz:imx93
Indanz:imx93
February 9, 2025 12:34 9m 31s
Add support for Cheshire (CVA6), refactor Ariane (#188) seL4Test-Sim #431: Commit a334419 pushed by Ivan-Velickovic
February 4, 2025 05:46 14m 25s master
master
February 4, 2025 05:46 14m 25s
Cheshire (Digilent Genesys2) support seL4Test-Sim #430: Pull request #188 synchronize by omeh-a
February 4, 2025 05:40 13m 24s omeh-a:cheshire
omeh-a:cheshire
February 4, 2025 05:40 13m 24s
Cheshire (Digilent Genesys2) support seL4Test-Sim #429: Pull request #188 synchronize by omeh-a
February 4, 2025 05:14 9m 36s omeh-a:cheshire
omeh-a:cheshire
February 4, 2025 05:14 9m 36s
Cheshire (Digilent Genesys2) support seL4Test-Sim #428: Pull request #188 synchronize by omeh-a
February 3, 2025 02:15 9m 41s omeh-a:cheshire
omeh-a:cheshire
February 3, 2025 02:15 9m 41s
Cheshire (Digilent Genesys2) support seL4Test-Sim #427: Pull request #188 synchronize by omeh-a
January 23, 2025 00:51 Action required omeh-a:cheshire
omeh-a:cheshire
January 23, 2025 00:51 Action required
Cheshire (Digilent Genesys2) support seL4Test-Sim #426: Pull request #188 synchronize by omeh-a
January 23, 2025 00:50 Action required omeh-a:cheshire
omeh-a:cheshire
January 23, 2025 00:50 Action required
Cheshire (Digilent Genesys2) support seL4Test-Sim #425: Pull request #188 synchronize by omeh-a
January 23, 2025 00:48 Action required omeh-a:cheshire
omeh-a:cheshire
January 23, 2025 00:48 Action required
Initial i.MX93 support seL4Test-Sim #424: Pull request #189 synchronize by Indanz
December 16, 2024 12:59 9m 39s Indanz:imx93
Indanz:imx93
December 16, 2024 12:59 9m 39s
Initial i.MX93 support seL4Test-Sim #423: Pull request #189 synchronize by Indanz
December 11, 2024 12:56 9m 33s Indanz:imx93
Indanz:imx93
December 11, 2024 12:56 9m 33s
Initial i.MX93 support seL4Test-Sim #422: Pull request #189 synchronize by Indanz
December 11, 2024 11:45 9m 30s Indanz:imx93
Indanz:imx93
December 11, 2024 11:45 9m 30s
Initial i.MX93 support seL4Test-Sim #421: Pull request #189 synchronize by Indanz
December 4, 2024 19:08 9m 33s Indanz:imx93
Indanz:imx93
December 4, 2024 19:08 9m 33s
Initial i.MX93 support seL4Test-Sim #420: Pull request #189 synchronize by Indanz
December 4, 2024 18:46 9m 43s Indanz:imx93
Indanz:imx93
December 4, 2024 18:46 9m 43s
Initial i.MX93 support seL4Test-Sim #419: Pull request #189 synchronize by Indanz
November 29, 2024 14:36 9m 44s Indanz:imx93
Indanz:imx93
November 29, 2024 14:36 9m 44s
Initial i.MX93 support seL4Test-Sim #418: Pull request #189 synchronize by Indanz
November 29, 2024 14:34 2m 8s Indanz:imx93
Indanz:imx93
November 29, 2024 14:34 2m 8s
Initial i.MX93 support seL4Test-Sim #417: Pull request #189 opened by Indanz
November 29, 2024 13:15 9m 28s Indanz:imx93
Indanz:imx93
November 29, 2024 13:15 9m 28s
Cheshire (Digilent Genesys2) support seL4Test-Sim #416: Pull request #188 opened by omeh-a
November 25, 2024 02:38 9m 38s omeh-a:cheshire
omeh-a:cheshire
November 25, 2024 02:38 9m 38s
Fix libplatsupport for Imx7 seL4Test-Sim #415: Pull request #187 opened by jcdubois
October 8, 2024 15:45 12m 38s jcdubois:imx7
jcdubois:imx7
October 8, 2024 15:45 12m 38s
libplatsupport: Add support for imx8mp-evk seL4Test-Sim #413: Commit f98dad1 pushed by kent-mcleod
June 12, 2024 12:47 14m 43s master
master
June 12, 2024 12:47 14m 43s
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
nomadeel:imx8mp_evk
June 12, 2024 05:59 12m 39s
Add pine64 star64 platform seL4Test-Sim #411: Pull request #167 synchronize by Ivan-Velickovic
June 11, 2024 16:09 12m 47s canarysnort01:star64
canarysnort01:star64
June 11, 2024 16:09 12m 47s