Skip to content

Actions: Hensoldt-Cyber/seL4_tools

Actions

seL4Test-Sim

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-sim.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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