Skip to content

Actions: seL4/seL4_tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
18 workflow run results
18 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
github: bump GitHub action versions CI #651: Pull request #180 opened by lsf37
October 26, 2023 04:08 52s gh-node16
gh-node16
October 26, 2023 04:08 52s
elfloader: factor out load_dtb() CI #650: Pull request #161 synchronize by axel-h
October 24, 2023 14:04 34s Hensoldt-Cyber:patch-axel-15
Hensoldt-Cyber:patch-axel-15
October 24, 2023 14:04 34s
elfloader: factor out check_hash() CI #649: Pull request #160 synchronize by axel-h
October 24, 2023 14:04 38s Hensoldt-Cyber:patch-axel-14
Hensoldt-Cyber:patch-axel-14
October 24, 2023 14:04 38s
improve CPIO creation CI #648: Pull request #151 synchronize by axel-h
October 24, 2023 14:04 37s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
October 24, 2023 14:04 37s
improve RISC-V multi core boot CI #647: Pull request #132 synchronize by axel-h
October 24, 2023 14:02 32s axel-h:patch-axel-7
axel-h:patch-axel-7
October 24, 2023 14:02 32s
cmake: group arch specific handling CI #646: Pull request #162 synchronize by axel-h
October 24, 2023 14:01 38s axel-h:patch-axel-11
axel-h:patch-axel-11
October 24, 2023 14:01 38s