Skip to content

Actions: seL4/seL4_tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
632 workflow runs
632 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for i.MX93 CI #802: Pull request #211 opened by Indanz
November 29, 2024 13:11 29s Indanz:imx93
Indanz:imx93
November 29, 2024 13:11 29s
Add support for i.MX93 seL4Test-Sim #518: Pull request #211 opened by Indanz
November 29, 2024 13:11 9m 37s Indanz:imx93
Indanz:imx93
November 29, 2024 13:11 9m 37s
Add support for i.MX93 PR #681: Pull request #211 opened by Indanz
November 29, 2024 13:11 31s Indanz:imx93
Indanz:imx93
November 29, 2024 13:11 31s
Add support for i.MX93 seL4Test-HW #329: Pull request #211 opened by Indanz
November 29, 2024 13:11 7s
November 29, 2024 13:11 7s
simulation: pass SMP number to QEMU CI #801: Pull request #210 opened by yf13
November 5, 2024 08:14 29s yf13:qemu-smp
yf13:qemu-smp
November 5, 2024 08:14 29s
simulation: pass SMP number to QEMU seL4Test-Sim #517: Pull request #210 opened by yf13
November 5, 2024 08:14 12m 12s yf13:qemu-smp
yf13:qemu-smp
November 5, 2024 08:14 12m 12s
simulation: pass SMP number to QEMU PR #680: Pull request #210 opened by yf13
November 5, 2024 08:14 23s yf13:qemu-smp
yf13:qemu-smp
November 5, 2024 08:14 23s
simulation: pass SMP number to QEMU seL4Test-HW #328: Pull request #210 opened by yf13
November 5, 2024 08:14 5s
November 5, 2024 08:14 5s
Zcu102 support for the "simulate" script based on Qemu seL4Test-HW #327: Pull request #209 opened by jcdubois
October 29, 2024 05:56 3s
October 29, 2024 05:56 3s
cmake: group arch specific handling seL4Test-Sim #515: Pull request #162 synchronize by axel-h
October 19, 2024 13:49 17m 54s axel-h:patch-axel-11
axel-h:patch-axel-11
October 19, 2024 13:49 17m 54s
cmake: group arch specific handling CI #799: Pull request #162 synchronize by axel-h
October 19, 2024 13:49 27s axel-h:patch-axel-11
axel-h:patch-axel-11
October 19, 2024 13:49 27s
cmake: group arch specific handling PR #678: Pull request #162 synchronize by axel-h
October 19, 2024 13:49 26s axel-h:patch-axel-11
axel-h:patch-axel-11
October 19, 2024 13:49 26s
cmake: group arch specific handling seL4Test-HW #326: Pull request #162 synchronize by axel-h
October 19, 2024 13:49 3s
October 19, 2024 13:49 3s
simulation: Add support for i.mx7 simulation through Qemu CI #798: Pull request #208 opened by jcdubois
October 8, 2024 15:18 34s jcdubois:imx7
jcdubois:imx7
October 8, 2024 15:18 34s
simulation: Add support for i.mx7 simulation through Qemu PR #677: Pull request #208 opened by jcdubois
October 8, 2024 15:18 24s jcdubois:imx7
jcdubois:imx7
October 8, 2024 15:18 24s
simulation: Add support for i.mx7 simulation through Qemu seL4Test-Sim #514: Pull request #208 opened by jcdubois
October 8, 2024 15:18 12m 40s jcdubois:imx7
jcdubois:imx7
October 8, 2024 15:18 12m 40s
simulation: Add support for i.mx7 simulation through Qemu seL4Test-HW #325: Pull request #208 opened by jcdubois
October 8, 2024 15:18 6s
October 8, 2024 15:18 6s
cmake_tool: add ELF loader setting for zynqmq 32 seL4Test-Sim #513: Commit bef85f3 pushed by lsf37
August 13, 2024 08:18 12m 35s master
master
August 13, 2024 08:18 12m 35s
cmake_tool: add ELF loader setting for zynqmq 32 Trigger #61: Commit bef85f3 pushed by lsf37
August 13, 2024 08:18 15s master
master
August 13, 2024 08:18 15s
cmake_tool: add ELF loader setting for zynqmq 32 CI #797: Commit bef85f3 pushed by lsf37
August 13, 2024 08:18 25s master
master
August 13, 2024 08:18 25s
cmake_tool: add ELF loader setting for zynqmq 32 seL4Test-Sim #512: Pull request #207 opened by lsf37
August 13, 2024 08:05 12m 36s zynqmq-32
zynqmq-32
August 13, 2024 08:05 12m 36s
cmake_tool: add ELF loader setting for zynqmq 32 PR #676: Pull request #207 opened by lsf37
August 13, 2024 08:05 39s zynqmq-32
zynqmq-32
August 13, 2024 08:05 39s
cmake_tool: add ELF loader setting for zynqmq 32 CI #796: Pull request #207 opened by lsf37
August 13, 2024 08:05 33s zynqmq-32
zynqmq-32
August 13, 2024 08:05 33s
cmake_tool: add ELF loader setting for zynqmq 32 seL4Test-HW #324: Pull request #207 opened by lsf37
August 13, 2024 08:05 8s
August 13, 2024 08:05 8s
elfloader: initialise stack allocated struct seL4Test-Sim #511: Commit d3700e7 pushed by Ivan-Velickovic
August 13, 2024 02:41 12m 38s master
master
August 13, 2024 02:41 12m 38s