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

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
cmake_tool: Build binaries for rocket chip plats CI #645: Commit 4501c69 pushed by Ivan-Velickovic
October 23, 2023 04:40 31s master
master
October 23, 2023 04:40 31s
Fix to allow RocketChip to build CI #644: Pull request #179 opened by Ivan-Velickovic
October 23, 2023 04:25 39s Ivan-Velickovic:rocket-chip-fix
Ivan-Velickovic:rocket-chip-fix
October 23, 2023 04:25 39s