Skip to content

Actions: Hensoldt-Cyber/seL4_tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cmake: Support binary build for imx8mp-evk
CI #65: Commit f43fe93 pushed by axel-h
July 2, 2024 14:09 32s master
July 2, 2024 14:09 32s
[patch-axel-10] improve CPIO creation flexibility
CI #64: Pull request #2 synchronize by axel-h
July 2, 2024 14:07 39s patch-axel-10
July 2, 2024 14:07 39s
[patch-axel-10] improve CPIO creation flexibility
CI #63: Pull request #2 synchronize by axel-h
May 30, 2024 13:10 25s patch-axel-10
May 30, 2024 13:10 25s
[patch-axel-10] improve CPIO creation flexibility
CI #62: Pull request #2 synchronize by axel-h
March 14, 2024 11:26 32s patch-axel-10
March 14, 2024 11:26 32s
CI: cancel older concurrent PR runs
CI #61: Commit 8c660fd pushed by axel-h
March 13, 2024 16:39 35s master
March 13, 2024 16:39 35s
[patch-axel-10] improve CPIO creation flexibility
CI #60: Pull request #2 synchronize by axel-h
February 25, 2024 15:10 31s patch-axel-10
February 25, 2024 15:10 31s
[patch-axel-10] improve CPIO creation flexibility
CI #59: Pull request #2 synchronize by axel-h
February 23, 2024 14:22 30s patch-axel-10
February 23, 2024 14:22 30s
[patch-axel-10] improve CPIO creation flexibility
CI #58: Pull request #2 synchronize by axel-h
February 20, 2024 16:50 2h 7m 45s patch-axel-10
February 20, 2024 16:50 2h 7m 45s
[patch-axel-10] improve CPIO creation flexibility
CI #57: Pull request #2 synchronize by axel-h
February 20, 2024 16:21 2h 28m 45s patch-axel-10
February 20, 2024 16:21 2h 28m 45s
[patch-axel-10] improve CPIO creation flexibility
CI #56: Pull request #2 synchronize by axel-h
February 20, 2024 16:19 6m 43s patch-axel-10
February 20, 2024 16:19 6m 43s
[patch-axel-10] improve CPIO creation flexibility
CI #55: Pull request #2 synchronize by axel-h
February 20, 2024 16:17 25s patch-axel-10
February 20, 2024 16:17 25s
[patch-axel-10] improve CPIO creation flexibility
CI #54: Pull request #2 synchronize by axel-h
February 20, 2024 16:16 34s patch-axel-10
February 20, 2024 16:16 34s
[patch-axel-10] improve CPIO creation flexibility
CI #53: Pull request #2 synchronize by axel-h
February 19, 2024 11:24 26s patch-axel-10
February 19, 2024 11:24 26s
elfloader: Check return code of device init
CI #52: Commit 24a7eca pushed by axel-h
February 19, 2024 11:19 33s master
February 19, 2024 11:19 33s
github: bump actions to node20
CI #51: Commit 92124ea pushed by axel-h
February 12, 2024 00:06 1m 15s master
February 12, 2024 00:06 1m 15s
[patch-axel-10] improve CPIO creation flexibility
CI #50: Pull request #2 synchronize by axel-h
February 1, 2024 02:02 38s patch-axel-10
February 1, 2024 02:02 38s
lld: Enable building C projects without crt files
CI #49: Commit 5e2506b pushed by axel-h
February 1, 2024 01:57 42s master
February 1, 2024 01:57 42s
[patch-axel-10] improve CPIO creation flexibility
CI #48: Pull request #2 synchronize by axel-h
January 15, 2024 13:17 25s patch-axel-10
January 15, 2024 13:17 25s
CI: bring back compiler to matrix
CI #47: Commit b65ed8f pushed by axel-h
January 15, 2024 13:11 27s master
January 15, 2024 13:11 27s
[patch-axel-10] improve CPIO creation flexibility
CI #46: Pull request #2 synchronize by axel-h
January 12, 2024 11:18 39s patch-axel-10
January 12, 2024 11:18 39s
CI: simulation and HW build with LLVM on RISCV
CI #45: Commit 75fc800 pushed by axel-h
January 12, 2024 11:14 30s master
January 12, 2024 11:14 30s
github: bump GitHub action versions
CI #44: Commit df31d5a pushed by axel-h
January 11, 2024 19:53 31s master
January 11, 2024 19:53 31s