Skip to content

Actions: Hensoldt-Cyber/seL4_tools

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cmake: Support binary build for imx8mp-evk
Trigger #33: Commit f43fe93 pushed by axel-h
July 2, 2024 14:09 14s master
July 2, 2024 14:09 14s
CI: cancel older concurrent PR runs
Trigger #32: Commit 8c660fd pushed by axel-h
March 13, 2024 16:39 14s master
March 13, 2024 16:39 14s
elfloader: Check return code of device init
Trigger #31: Commit 24a7eca pushed by axel-h
February 19, 2024 11:19 16s master
February 19, 2024 11:19 16s
github: bump actions to node20
Trigger #30: Commit 92124ea pushed by axel-h
February 12, 2024 00:06 17s master
February 12, 2024 00:06 17s
lld: Enable building C projects without crt files
Trigger #29: Commit 5e2506b pushed by axel-h
February 1, 2024 01:57 17s master
February 1, 2024 01:57 17s
CI: bring back compiler to matrix
Trigger #28: Commit b65ed8f pushed by axel-h
January 15, 2024 13:11 14s master
January 15, 2024 13:11 14s
CI: simulation and HW build with LLVM on RISCV
Trigger #27: Commit 75fc800 pushed by axel-h
January 12, 2024 11:14 13s master
January 12, 2024 11:14 13s
github: bump GitHub action versions
Trigger #26: Commit df31d5a pushed by axel-h
January 11, 2024 19:53 14s master
January 11, 2024 19:53 14s
cmake_tool: Build binaries for rocket chip plats
Trigger #25: Commit 4501c69 pushed by axel-h
October 24, 2023 13:57 15s master
October 24, 2023 13:57 15s
change touch to be portable
Trigger #24: Commit 5a4a764 pushed by axel-h
September 12, 2023 07:10 19s master
September 12, 2023 07:10 19s
elfloader: Add ElfloaderPrecompile option
Trigger #23: Commit f02b804 pushed by axel-h
August 30, 2023 12:32 14s master
August 30, 2023 12:32 14s
Fix RISC-V compilation with recent GCC (#171)
Trigger #22: Commit a9d1b6d pushed by axel-h
August 13, 2023 18:20 10s master
August 13, 2023 18:20 10s