Skip to content

Actions: seL4/seL4_tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
640 workflow runs
640 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

elfloader: cast linker symbol to avoid warining
CI #815: Commit 0d12ec6 pushed by kent-mcleod
February 12, 2025 03:49 36s master
February 12, 2025 03:49 36s
elfloader: cast linker symbol to avoid warining
seL4Test-Sim #531: Commit 0d12ec6 pushed by kent-mcleod
February 12, 2025 03:49 9m 29s master
February 12, 2025 03:49 9m 29s
elfloader: cast linker symbol to avoid warining
Trigger #65: Commit 0d12ec6 pushed by kent-mcleod
February 12, 2025 03:49 18s master
February 12, 2025 03:49 18s
Add support for SiFive Premier P550
PR #690: Pull request #215 opened by Ivan-Velickovic
February 11, 2025 05:13 19s Ivan-Velickovic:p550
February 11, 2025 05:13 19s
Add support for SiFive Premier P550
CI #814: Pull request #215 opened by Ivan-Velickovic
February 11, 2025 05:13 29s Ivan-Velickovic:p550
February 11, 2025 05:13 29s
Add support for SiFive Premier P550
seL4Test-Sim #530: Pull request #215 opened by Ivan-Velickovic
February 11, 2025 05:13 9m 33s Ivan-Velickovic:p550
February 11, 2025 05:13 9m 33s
Add support for SiFive Premier P550
seL4Test-HW #338: Pull request #215 opened by Ivan-Velickovic
February 11, 2025 05:13 4s
February 11, 2025 05:13 4s
elfloader: cast linker symbol to avoid warining
seL4Test-Sim #529: Pull request #214 opened by kent-mcleod
February 10, 2025 23:25 9m 24s kent-mcleod:kent/fix2
February 10, 2025 23:25 9m 24s
elfloader: cast linker symbol to avoid warining
seL4Test-HW #337: Pull request #214 opened by kent-mcleod
February 10, 2025 23:25 8s
February 10, 2025 23:25 8s
Add support for i.MX93
seL4Test-Sim #528: Commit fa87eed pushed by Indanz
February 9, 2025 13:00 9m 18s master
February 9, 2025 13:00 9m 18s
Add support for i.MX93
Trigger #64: Commit fa87eed pushed by Indanz
February 9, 2025 13:00 13s master
February 9, 2025 13:00 13s
Add support for i.MX93
CI #812: Commit fa87eed pushed by Indanz
February 9, 2025 13:00 28s master
February 9, 2025 13:00 28s
Add support for i.MX93
PR #688: Pull request #211 synchronize by Indanz
February 9, 2025 13:00 19s Indanz:imx93
February 9, 2025 13:00 19s
Add support for i.MX93
seL4Test-Sim #527: Pull request #211 synchronize by Indanz
February 9, 2025 13:00 9m 17s Indanz:imx93
February 9, 2025 13:00 9m 17s
Add support for i.MX93
CI #811: Pull request #211 synchronize by Indanz
February 9, 2025 13:00 29s Indanz:imx93
February 9, 2025 13:00 29s
Add support for i.MX93
seL4Test-HW #336: Pull request #211 synchronize by Indanz
February 9, 2025 13:00 4s
February 9, 2025 13:00 4s
Add support for i.MX93
seL4Test-Sim #526: Pull request #211 synchronize by Indanz
February 9, 2025 12:42 10m 18s Indanz:imx93
February 9, 2025 12:42 10m 18s
Add support for i.MX93
PR #687: Pull request #211 synchronize by Indanz
February 9, 2025 12:42 39s Indanz:imx93
February 9, 2025 12:42 39s
Add support for i.MX93
CI #810: Pull request #211 synchronize by Indanz
February 9, 2025 12:42 53s Indanz:imx93
February 9, 2025 12:42 53s
Add support for i.MX93
seL4Test-HW #335: Pull request #211 synchronize by Indanz
February 9, 2025 12:42 4s
February 9, 2025 12:42 4s
Prevent Cheshire from using OpenSBI
seL4Test-Sim #525: Commit 2cac3e7 pushed by Ivan-Velickovic
February 4, 2025 05:39 9m 26s master
February 4, 2025 05:39 9m 26s
Prevent Cheshire from using OpenSBI
Trigger #63: Commit 2cac3e7 pushed by Ivan-Velickovic
February 4, 2025 05:39 13s master
February 4, 2025 05:39 13s
Prevent Cheshire from using OpenSBI
CI #809: Commit 2cac3e7 pushed by Ivan-Velickovic
February 4, 2025 05:39 30s master
February 4, 2025 05:39 30s