Skip to content

Actions: Hensoldt-Cyber/seL4_tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
elfloader: Check return code of device init Trigger #31: Commit 24a7eca pushed by axel-h
February 19, 2024 11:19 16s master
master
February 19, 2024 11:19 16s
elfloader: Check return code of device init CI #52: Commit 24a7eca pushed by axel-h
February 19, 2024 11:19 33s master
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
master
February 12, 2024 00:06 1m 15s
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
github: bump actions to node20 Trigger #30: Commit 92124ea pushed by axel-h
February 12, 2024 00:06 17s master
master
February 12, 2024 00:06 17s
[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
patch-axel-10
February 1, 2024 02:02 38s
[patch-axel-10] improve CPIO creation flexibility PR #16: Pull request #2 synchronize by axel-h
February 1, 2024 02:02 44s patch-axel-10
patch-axel-10
February 1, 2024 02:02 44s
[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
[patch-axel-10] improve CPIO creation flexibility seL4Test-HW #16: Pull request #2 synchronize by axel-h
February 1, 2024 02:02 4s
February 1, 2024 02:02 4s
lld: Enable building C projects without crt files CI #49: Commit 5e2506b pushed by axel-h
February 1, 2024 01:57 42s master
master
February 1, 2024 01:57 42s
lld: Enable building C projects without crt files Trigger #29: Commit 5e2506b pushed by axel-h
February 1, 2024 01:57 17s master
master
February 1, 2024 01:57 17s
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 CI #48: Pull request #2 synchronize by axel-h
January 15, 2024 13:17 25s patch-axel-10
patch-axel-10
January 15, 2024 13:17 25s
[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
[patch-axel-10] improve CPIO creation flexibility PR #15: Pull request #2 synchronize by axel-h
January 15, 2024 13:17 17s patch-axel-10
patch-axel-10
January 15, 2024 13:17 17s
[patch-axel-10] improve CPIO creation flexibility seL4Test-HW #15: Pull request #2 synchronize by axel-h
January 15, 2024 13:17 4s
January 15, 2024 13:17 4s
CI: bring back compiler to matrix Trigger #28: Commit b65ed8f pushed by axel-h
January 15, 2024 13:11 14s master
master
January 15, 2024 13:11 14s
CI: bring back compiler to matrix CI #47: Commit b65ed8f pushed by axel-h
January 15, 2024 13:11 27s master
master
January 15, 2024 13:11 27s
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
[patch-axel-10] improve CPIO creation flexibility PR #14: Pull request #2 synchronize by axel-h
January 12, 2024 11:18 19s patch-axel-10
patch-axel-10
January 12, 2024 11:18 19s
[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
patch-axel-10
January 12, 2024 11:18 39s
[patch-axel-10] improve CPIO creation flexibility seL4Test-HW #14: Pull request #2 synchronize by axel-h
January 12, 2024 11:18 3s
January 12, 2024 11:18 3s
CI: simulation and HW build with LLVM on RISCV CI #45: Commit 75fc800 pushed by axel-h
January 12, 2024 11:14 30s master
master
January 12, 2024 11:14 30s