Skip to content

Actions: seL4/seL4_tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
746 workflow runs
746 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Shift 32-bit image start address on imx8mm seL4Test-Sim #498: Pull request #205 opened by alwin-joshy
August 9, 2024 01:50 31m 16s alwin-joshy:imx8mm_shift_image_start
alwin-joshy:imx8mm_shift_image_start
August 9, 2024 01:50 31m 16s
Shift 32-bit image start address on imx8mm seL4Test-HW #313: Pull request #205 opened by alwin-joshy
August 9, 2024 01:50 5s
August 9, 2024 01:50 5s
misc: check that astyle exists CI #781: Commit 91c8795 pushed by Ivan-Velickovic
July 15, 2024 04:36 29s master
master
July 15, 2024 04:36 29s
misc: check that astyle exists seL4Test-Sim #497: Commit 91c8795 pushed by Ivan-Velickovic
July 15, 2024 04:36 12m 33s master
master
July 15, 2024 04:36 12m 33s
misc: check that astyle exists Trigger #56: Commit 91c8795 pushed by Ivan-Velickovic
July 15, 2024 04:36 14s master
master
July 15, 2024 04:36 14s
misc: check that astyle exists seL4Test-Sim #496: Pull request #204 synchronize by Ivan-Velickovic
July 15, 2024 04:33 12m 37s check_for_astyle
check_for_astyle
July 15, 2024 04:33 12m 37s
misc: check that astyle exists CI #780: Pull request #204 synchronize by Ivan-Velickovic
July 15, 2024 04:33 34s check_for_astyle
check_for_astyle
July 15, 2024 04:33 34s
misc: check that astyle exists PR #665: Pull request #204 synchronize by Ivan-Velickovic
July 15, 2024 04:33 22s check_for_astyle
check_for_astyle
July 15, 2024 04:33 22s
misc: check that astyle exists seL4Test-HW #312: Pull request #204 synchronize by Ivan-Velickovic
July 15, 2024 04:33 6s
July 15, 2024 04:33 6s
misc: check that astyle exists seL4Test-Sim #495: Pull request #204 opened by Ivan-Velickovic
July 15, 2024 02:28 14m 26s check_for_astyle
check_for_astyle
July 15, 2024 02:28 14m 26s
misc: check that astyle exists PR #664: Pull request #204 opened by Ivan-Velickovic
July 15, 2024 02:28 23s check_for_astyle
check_for_astyle
July 15, 2024 02:28 23s
misc: check that astyle exists CI #779: Pull request #204 opened by Ivan-Velickovic
July 15, 2024 02:28 27s check_for_astyle
check_for_astyle
July 15, 2024 02:28 27s
misc: check that astyle exists seL4Test-HW #311: Pull request #204 opened by Ivan-Velickovic
July 15, 2024 02:28 6s
July 15, 2024 02:28 6s
cmake: use quotes CI #778: Pull request #199 synchronize by axel-h
July 2, 2024 14:07 5m 52s axel-h:patch-axel-27
axel-h:patch-axel-27
July 2, 2024 14:07 5m 52s
cmake: use quotes seL4Test-Sim #494: Pull request #199 synchronize by axel-h
July 2, 2024 14:07 18m 10s axel-h:patch-axel-27
axel-h:patch-axel-27
July 2, 2024 14:07 18m 10s
cmake: use quotes PR #663: Pull request #199 synchronize by axel-h
July 2, 2024 14:07 5m 20s axel-h:patch-axel-27
axel-h:patch-axel-27
July 2, 2024 14:07 5m 20s
cmake: use quotes seL4Test-HW #310: Pull request #199 synchronize by axel-h
July 2, 2024 14:07 3s
July 2, 2024 14:07 3s
elfloader/riscv: always pass hart/core information PR #662: Pull request #194 synchronize by axel-h
July 2, 2024 14:07 4m 28s axel-h:patch-axel-23
axel-h:patch-axel-23
July 2, 2024 14:07 4m 28s
elfloader/riscv: always pass hart/core information seL4Test-Sim #493: Pull request #194 synchronize by axel-h
July 2, 2024 14:07 17m 3s axel-h:patch-axel-23
axel-h:patch-axel-23
July 2, 2024 14:07 17m 3s
elfloader/riscv: always pass hart/core information CI #777: Pull request #194 synchronize by axel-h
July 2, 2024 14:07 4m 31s axel-h:patch-axel-23
axel-h:patch-axel-23
July 2, 2024 14:07 4m 31s
elfloader/riscv: always pass hart/core information seL4Test-HW #309: Pull request #194 synchronize by axel-h
July 2, 2024 14:07 5s
July 2, 2024 14:07 5s
improve CPIO creation seL4Test-Sim #492: Pull request #151 synchronize by axel-h
July 2, 2024 14:07 15m 8s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
July 2, 2024 14:07 15m 8s
improve CPIO creation PR #661: Pull request #151 synchronize by axel-h
July 2, 2024 14:07 2m 34s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
July 2, 2024 14:07 2m 34s
improve CPIO creation CI #776: Pull request #151 synchronize by axel-h
July 2, 2024 14:07 2m 45s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
July 2, 2024 14:07 2m 45s
improve CPIO creation seL4Test-HW #308: Pull request #151 synchronize by axel-h
July 2, 2024 14:07 43m 42s
July 2, 2024 14:07 43m 42s