Skip to content

Actions: Hensoldt-Cyber/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
952 workflow runs
952 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

aarch64/vspace: fix error reporting in decode C Parser #790: Commit 241d8d1 pushed by axel-h
January 26, 2024 23:09 1m 37s master
master
January 26, 2024 23:09 1m 37s
aarch64/vspace: fix error reporting in decode CI #797: Commit 241d8d1 pushed by axel-h
January 26, 2024 23:09 28s master
master
January 26, 2024 23:09 28s
aarch64/vspace: fix error reporting in decode Trigger #132: Commit 241d8d1 pushed by axel-h
January 26, 2024 23:09 4s master
master
January 26, 2024 23:09 4s
odroidc2: reserve more memory for TrustZone Compile #796: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 20m 4s patch-axel-87
patch-axel-87
January 25, 2024 13:47 20m 4s
odroidc2: reserve more memory for TrustZone RefMan #796: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 17m 10s patch-axel-87
patch-axel-87
January 25, 2024 13:47 17m 10s
odroidc2: reserve more memory for TrustZone CI #796: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 14m 1s patch-axel-87
patch-axel-87
January 25, 2024 13:47 14m 1s
odroidc2: reserve more memory for TrustZone C Parser #789: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 19m 31s patch-axel-87
patch-axel-87
January 25, 2024 13:47 19m 31s
odroidc2: reserve more memory for TrustZone PR #647: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 16m 45s patch-axel-87
patch-axel-87
January 25, 2024 13:47 16m 45s
odroidc2: reserve more memory for TrustZone seL4Test-Sim #655: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 25m 27s patch-axel-87
patch-axel-87
January 25, 2024 13:47 25m 27s
odroidc2: reserve more memory for TrustZone seL4Bench-HW #279: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 5s
January 25, 2024 13:47 5s
odroidc2: reserve more memory for TrustZone seL4Test-HW #668: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 6s
January 25, 2024 13:47 6s
odroidc2: reserve more memory for TrustZone Proofs #622: Pull request #37 synchronize by axel-h
January 25, 2024 13:47 3s
January 25, 2024 13:47 3s
[patch-axel-52] RefMan #795: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 22m 47s patch-axel-52
patch-axel-52
January 25, 2024 13:38 22m 47s
[patch-axel-52] PR #646: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 22m 28s patch-axel-52
patch-axel-52
January 25, 2024 13:38 22m 28s
[patch-axel-52] CI #795: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 21m 48s patch-axel-52
patch-axel-52
January 25, 2024 13:38 21m 48s
[patch-axel-52] Compile #795: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 21m 22s patch-axel-52
patch-axel-52
January 25, 2024 13:38 21m 22s
[patch-axel-52] C Parser #788: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 17m 24s patch-axel-52
patch-axel-52
January 25, 2024 13:38 17m 24s
[patch-axel-52] seL4Test-Sim #654: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 20m 16s patch-axel-52
patch-axel-52
January 25, 2024 13:38 20m 16s
[patch-axel-52] Proofs #621: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 2s
January 25, 2024 13:38 2s
[patch-axel-52] seL4Bench-HW #278: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 5s
January 25, 2024 13:38 5s
[patch-axel-52] seL4Test-HW #667: Pull request #10 synchronize by axel-h
January 25, 2024 13:38 43m 10s
January 25, 2024 13:38 43m 10s
[patch-axel-7] risc-v: support different SBI implementations seL4Test-Sim #653: Pull request #27 synchronize by axel-h
January 25, 2024 13:38 21m 11s patch-axel-7
patch-axel-7
January 25, 2024 13:38 21m 11s
[patch-axel-7] risc-v: support different SBI implementations Compile #794: Pull request #27 synchronize by axel-h
January 25, 2024 13:38 15m 57s patch-axel-7
patch-axel-7
January 25, 2024 13:38 15m 57s
[patch-axel-7] risc-v: support different SBI implementations PR #645: Pull request #27 synchronize by axel-h
January 25, 2024 13:38 10m 53s patch-axel-7
patch-axel-7
January 25, 2024 13:38 10m 53s
[patch-axel-7] risc-v: support different SBI implementations C Parser #787: Pull request #27 synchronize by axel-h
January 25, 2024 13:38 8m 59s patch-axel-7
patch-axel-7
January 25, 2024 13:38 8m 59s