Skip to content

Actions: seL4/seL4_tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
596 workflow runs
596 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: bump actions to node20 seL4Test-HW #215: Pull request #189 labeled by lsf37
February 7, 2024 04:55 3s
February 7, 2024 04:55 3s
github: bump actions to node20 seL4Test-Sim #398: Pull request #189 opened by lsf37
February 7, 2024 04:55 12m 44s github-node20
github-node20
February 7, 2024 04:55 12m 44s
github: bump actions to node20 PR #573: Pull request #189 opened by lsf37
February 7, 2024 04:55 22s github-node20
github-node20
February 7, 2024 04:55 22s
github: bump actions to node20 CI #682: Pull request #189 opened by lsf37
February 7, 2024 04:55 27s github-node20
github-node20
February 7, 2024 04:55 27s
github: bump actions to node20 seL4Test-HW #214: Pull request #189 opened by lsf37
February 7, 2024 04:55 5s
February 7, 2024 04:55 5s
cmake: group arch specific handling seL4Test-Sim #397: Pull request #162 synchronize by axel-h
February 1, 2024 02:03 11m 52s axel-h:patch-axel-11
axel-h:patch-axel-11
February 1, 2024 02:03 11m 52s
cmake: group arch specific handling PR #572: Pull request #162 synchronize by axel-h
February 1, 2024 02:03 23s axel-h:patch-axel-11
axel-h:patch-axel-11
February 1, 2024 02:03 23s
cmake: group arch specific handling CI #681: Pull request #162 synchronize by axel-h
February 1, 2024 02:03 32s axel-h:patch-axel-11
axel-h:patch-axel-11
February 1, 2024 02:03 32s
cmake: group arch specific handling seL4Test-HW #213: Pull request #162 synchronize by axel-h
February 1, 2024 02:03 4s
February 1, 2024 02:03 4s
improve CPIO creation CI #680: Pull request #151 synchronize by axel-h
February 1, 2024 02:02 33s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
February 1, 2024 02:02 33s
improve CPIO creation PR #571: Pull request #151 synchronize by axel-h
February 1, 2024 02:02 19s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
February 1, 2024 02:02 19s
improve CPIO creation seL4Test-Sim #396: Pull request #151 synchronize by axel-h
February 1, 2024 02:02 11m 47s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
February 1, 2024 02:02 11m 47s
improve CPIO creation seL4Test-HW #212: Pull request #151 synchronize by axel-h
February 1, 2024 02:02 4s
February 1, 2024 02:02 4s
elfloader: factor out load_dtb() PR #570: Pull request #161 synchronize by axel-h
February 1, 2024 01:59 24s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
February 1, 2024 01:59 24s
elfloader: factor out load_dtb() CI #679: Pull request #161 synchronize by axel-h
February 1, 2024 01:59 27s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
February 1, 2024 01:59 27s
elfloader: factor out load_dtb() seL4Test-Sim #395: Pull request #161 synchronize by axel-h
February 1, 2024 01:59 11m 55s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
February 1, 2024 01:59 11m 55s
elfloader: factor out load_dtb() seL4Test-HW #211: Pull request #161 synchronize by axel-h
February 1, 2024 01:59 5h 4m 1s
February 1, 2024 01:59 5h 4m 1s
elfloader: factor out check_hash() CI #678: Pull request #160 synchronize by axel-h
February 1, 2024 01:59 39s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
February 1, 2024 01:59 39s
elfloader: factor out check_hash() seL4Test-Sim #394: Pull request #160 synchronize by axel-h
February 1, 2024 01:59 11m 52s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
February 1, 2024 01:59 11m 52s
elfloader: factor out check_hash() PR #569: Pull request #160 synchronize by axel-h
February 1, 2024 01:59 18s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
February 1, 2024 01:59 18s
elfloader: factor out check_hash() seL4Test-HW #210: Pull request #160 synchronize by axel-h
February 1, 2024 01:59 6s
February 1, 2024 01:59 6s
morello: Add FVP and SoC platforms to the EFI list PR #568: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 22s CTSRD-CHERI:pr1_morello_aarch64
CTSRD-CHERI:pr1_morello_aarch64
January 31, 2024 11:33 22s
morello: Add FVP and SoC platforms to the EFI list CI #677: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 46s CTSRD-CHERI:pr1_morello_aarch64
CTSRD-CHERI:pr1_morello_aarch64
January 31, 2024 11:33 46s
morello: Add FVP and SoC platforms to the EFI list seL4Test-Sim #393: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 12m 0s CTSRD-CHERI:pr1_morello_aarch64
CTSRD-CHERI:pr1_morello_aarch64
January 31, 2024 11:33 12m 0s
morello: Add FVP and SoC platforms to the EFI list seL4Test-HW #209: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 7s
January 31, 2024 11:33 7s
ProTip! You can narrow down the results and go further in time using created:<2024-01-31 or the other filters available.