Skip to content

Actions: seL4/seL4_tools

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lld: Enable building C projects without cxx crt files PR #556: Pull request #186 opened by heshamelmatary
January 15, 2024 11:27 20s CTSRD-CHERI:lld_crt
CTSRD-CHERI:lld_crt
January 15, 2024 11:27 20s
wip dummy PR #555: Pull request #185 opened by axel-h
January 12, 2024 13:52 29s axel-h:patch-axel-22a
axel-h:patch-axel-22a
January 12, 2024 13:52 29s
CI: bring back compiler to matrix PR #554: Pull request #184 opened by axel-h
January 12, 2024 13:47 19s patch-axel-22
patch-axel-22
January 12, 2024 13:47 19s
improve CPIO creation PR #553: Pull request #151 synchronize by axel-h
January 12, 2024 11:18 19s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
January 12, 2024 11:18 19s
elfloader: factor out load_dtb() PR #552: Pull request #161 synchronize by axel-h
January 12, 2024 11:15 22s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
January 12, 2024 11:15 22s
elfloader: factor out check_hash() PR #551: Pull request #160 synchronize by axel-h
January 12, 2024 11:14 21s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
January 12, 2024 11:14 21s
CI: simulation and HW build with LLVM on RISCV PR #550: Pull request #183 opened by axel-h
January 11, 2024 20:02 18s axel-h:patch-axel-22
axel-h:patch-axel-22
January 11, 2024 20:02 18s
morello: Add a new QEMU platform PR #549: Pull request #182 synchronize by heshamelmatary
January 11, 2024 15:30 26s CTSRD-CHERI:pr_morello_aarch64
CTSRD-CHERI:pr_morello_aarch64
January 11, 2024 15:30 26s
morello: Add a new QEMU platform PR #548: Pull request #182 opened by heshamelmatary
January 8, 2024 14:59 25s CTSRD-CHERI:pr_morello_aarch64
CTSRD-CHERI:pr_morello_aarch64
January 8, 2024 14:59 25s