Skip to content

Actions: seL4/seL4_tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lld: Enable building C projects without crt files CI #676: Commit 5e2506b pushed by lsf37
January 25, 2024 21:58 31s master
master
January 25, 2024 21:58 31s
Changes to enable linking with LLVM/lld CI #675: Pull request #173 synchronize by heshamelmatary
January 15, 2024 16:29 27s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 15, 2024 16:29 27s
Patch axel 7a CI #674: Pull request #187 synchronize by axel-h
January 15, 2024 14:09 26s axel-h:patch-axel-7a
axel-h:patch-axel-7a
January 15, 2024 14:09 26s
Patch axel 7a CI #673: Pull request #187 opened by axel-h
January 15, 2024 13:31 28s axel-h:patch-axel-7a
axel-h:patch-axel-7a
January 15, 2024 13:31 28s
improve CPIO creation CI #672: Pull request #151 synchronize by axel-h
January 15, 2024 13:17 29s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
January 15, 2024 13:17 29s
elfloader: factor out load_dtb() CI #671: Pull request #161 synchronize by axel-h
January 15, 2024 13:16 27s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
January 15, 2024 13:16 27s
elfloader: factor out check_hash() CI #670: Pull request #160 synchronize by axel-h
January 15, 2024 13:16 28s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
January 15, 2024 13:16 28s
improve RISC-V multi core boot CI #669: Pull request #132 synchronize by axel-h
January 15, 2024 13:14 26s axel-h:patch-axel-7
axel-h:patch-axel-7
January 15, 2024 13:14 26s
cmake: group arch specific handling CI #668: Pull request #162 synchronize by axel-h
January 15, 2024 13:13 37s axel-h:patch-axel-11
axel-h:patch-axel-11
January 15, 2024 13:13 37s
lld: Enable building C projects without cxx crt files CI #667: Pull request #186 synchronize by heshamelmatary
January 15, 2024 12:35 31s CTSRD-CHERI:lld_crt
CTSRD-CHERI:lld_crt
January 15, 2024 12:35 31s
lld: Enable building C projects without cxx crt files CI #666: Pull request #186 synchronize by heshamelmatary
January 15, 2024 11:30 27s CTSRD-CHERI:lld_crt
CTSRD-CHERI:lld_crt
January 15, 2024 11:30 27s
lld: Enable building C projects without cxx crt files CI #665: Pull request #186 synchronize by heshamelmatary
January 15, 2024 11:28 25s CTSRD-CHERI:lld_crt
CTSRD-CHERI:lld_crt
January 15, 2024 11:28 25s
lld: Enable building C projects without cxx crt files CI #664: Pull request #186 opened by heshamelmatary
January 15, 2024 11:27 31s CTSRD-CHERI:lld_crt
CTSRD-CHERI:lld_crt
January 15, 2024 11:27 31s
CI: bring back compiler to matrix CI #663: Commit b65ed8f pushed by lsf37
January 12, 2024 23:18 2m 31s master
master
January 12, 2024 23:18 2m 31s
wip dummy CI #662: Pull request #185 opened by axel-h
January 12, 2024 13:52 28s axel-h:patch-axel-22a
axel-h:patch-axel-22a
January 12, 2024 13:52 28s
CI: bring back compiler to matrix CI #661: Pull request #184 opened by axel-h
January 12, 2024 13:47 33s patch-axel-22
patch-axel-22
January 12, 2024 13:47 33s
improve CPIO creation CI #660: Pull request #151 synchronize by axel-h
January 12, 2024 11:18 39s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
January 12, 2024 11:18 39s
elfloader: factor out load_dtb() CI #659: Pull request #161 synchronize by axel-h
January 12, 2024 11:15 25s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
January 12, 2024 11:15 25s
elfloader: factor out check_hash() CI #658: Pull request #160 synchronize by axel-h
January 12, 2024 11:14 25s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
January 12, 2024 11:14 25s
CI: simulation and HW build with LLVM on RISCV CI #657: Commit 75fc800 pushed by lsf37
January 11, 2024 22:22 6m 17s master
master
January 11, 2024 22:22 6m 17s
CI: simulation and HW build with LLVM on RISCV CI #656: Pull request #183 opened by axel-h
January 11, 2024 20:02 29s axel-h:patch-axel-22
axel-h:patch-axel-22
January 11, 2024 20:02 29s
morello: Add a new QEMU platform CI #655: 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 CI #654: Pull request #182 opened by heshamelmatary
January 8, 2024 14:59 32s CTSRD-CHERI:pr_morello_aarch64
CTSRD-CHERI:pr_morello_aarch64
January 8, 2024 14:59 32s
Changes to enable linking with LLVM/lld CI #653: Pull request #173 synchronize by heshamelmatary
November 1, 2023 15:19 46s CTSRD-CHERI:lld
CTSRD-CHERI:lld
November 1, 2023 15:19 46s
github: bump GitHub action versions CI #652: Commit df31d5a pushed by lsf37
October 26, 2023 04:29 35s master
master
October 26, 2023 04:29 35s