Skip to content

Actions: Hensoldt-Cyber/seL4

Actions

seL4Bench-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4bench-pr.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-52] seL4Bench-HW #283: Pull request #10 synchronize by axel-h
June 20, 2024 13:17 3s
June 20, 2024 13:17 3s
[patch-axel-52] seL4Bench-HW #282: Pull request #10 synchronize by axel-h
June 20, 2024 13:16 9s
June 20, 2024 13:16 9s
[patch-axel-52] seL4Bench-HW #281: Pull request #10 synchronize by axel-h
May 23, 2024 09:35 4s
May 23, 2024 09:35 4s
[patch-axel-52] seL4Bench-HW #280: Pull request #10 synchronize by axel-h
April 29, 2024 10:19 7s
April 29, 2024 10:19 7s
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
[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-7] risc-v: support different SBI implementations seL4Bench-HW #277: Pull request #27 synchronize by axel-h
January 25, 2024 13:38 4s
January 25, 2024 13:38 4s
[patch-axel-83] save TPIDR_EL0, TPIDRRO_EL0 in asm code seL4Bench-HW #276: Pull request #18 synchronize by axel-h
January 25, 2024 13:38 5s
January 25, 2024 13:38 5s
[patch-axel-52] seL4Bench-HW #275: Pull request #10 synchronize by axel-h
January 8, 2024 12:29 9s
January 8, 2024 12:29 9s
[patches-axel-hc] seL4Bench-HW #274: Pull request #39 synchronize by axel-h
January 8, 2024 12:29 5s
January 8, 2024 12:29 5s
[patches-axel-hc] seL4Bench-HW #273: Pull request #39 synchronize by axel-h
January 8, 2024 12:21 5s
January 8, 2024 12:21 5s
[patch-axel-52] seL4Bench-HW #272: Pull request #10 synchronize by axel-h
January 8, 2024 12:20 6s
January 8, 2024 12:20 6s
[patches-axel-hc] seL4Bench-HW #271: Pull request #39 synchronize by axel-h
January 8, 2024 12:07 5s
January 8, 2024 12:07 5s
[patch-axel-52] seL4Bench-HW #270: Pull request #10 synchronize by axel-h
January 8, 2024 12:05 5s
January 8, 2024 12:05 5s
[patch-axel-52] seL4Bench-HW #269: Pull request #10 synchronize by axel-h
January 8, 2024 12:01 6s
January 8, 2024 12:01 6s
[patches-axel-hc] seL4Bench-HW #268: Pull request #39 synchronize by axel-h
January 8, 2024 11:46 11s
January 8, 2024 11:46 11s
[patch-axel-52] seL4Bench-HW #267: Pull request #10 synchronize by axel-h
January 8, 2024 11:46 13s
January 8, 2024 11:46 13s
[patch-axel-83] save TPIDR_EL0, TPIDRRO_EL0 in asm code seL4Bench-HW #266: Pull request #18 synchronize by axel-h
January 8, 2024 10:04 14s
January 8, 2024 10:04 14s
[patches-axel-hc] seL4Bench-HW #265: Pull request #39 synchronize by axel-h
January 8, 2024 10:04 11s
January 8, 2024 10:04 11s
[patch-axel-52] seL4Bench-HW #264: Pull request #10 synchronize by axel-h
January 8, 2024 09:41 8s
January 8, 2024 09:41 8s
[patches-axel-hc] seL4Bench-HW #263: Pull request #39 synchronize by axel-h
January 8, 2024 09:41 5s
January 8, 2024 09:41 5s
[patch-axel-7] risc-v: support different SBI implementations seL4Bench-HW #262: Pull request #27 synchronize by axel-h
January 8, 2024 09:40 11s
January 8, 2024 09:40 11s
[patches-axel-hc] seL4Bench-HW #261: Pull request #39 synchronize by axel-h
January 8, 2024 08:06 5s
January 8, 2024 08:06 5s
[patch-axel-7] risc-v: support different SBI implementations seL4Bench-HW #260: Pull request #27 synchronize by axel-h
January 8, 2024 08:04 5s
January 8, 2024 08:04 5s
[patch-axel-83] save TPIDR_EL0, TPIDRRO_EL0 in asm code seL4Bench-HW #259: Pull request #18 synchronize by axel-h
January 8, 2024 08:04 5s
January 8, 2024 08:04 5s