Skip to content

Actions: Hensoldt-Cyber/seL4

seL4Test-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-34] boot cleanup
seL4Test-HW #597: Pull request #13 synchronize by axel-h
August 13, 2023 23:48 6s
August 13, 2023 23:48 6s
[patches-axel-hc]
seL4Test-HW #596: Pull request #39 labeled by axel-h
August 13, 2023 23:46 1h 18m 20s
August 13, 2023 23:46 1h 18m 20s
[patches-axel-hc]
seL4Test-HW #595: Pull request #39 opened by axel-h
August 13, 2023 23:46 1h 21m 49s
August 13, 2023 23:46 1h 21m 49s
[patch-axel-47a] wip merge code
seL4Test-HW #594: Pull request #31 synchronize by axel-h
August 13, 2023 23:38 1h 34m 35s
August 13, 2023 23:38 1h 34m 35s
[patch-axel-57] add seL4_DebugNameThreadFmt()
seL4Test-HW #593: Pull request #26 synchronize by axel-h
August 13, 2023 23:27 3s
August 13, 2023 23:27 3s
[patch-axel-47a] wip merge code
seL4Test-HW #592: Pull request #31 synchronize by axel-h
August 13, 2023 23:22 1h 44m 24s
August 13, 2023 23:22 1h 44m 24s
[patch-axel-52]
seL4Test-HW #591: Pull request #10 synchronize by axel-h
August 13, 2023 23:21 49m 26s
August 13, 2023 23:21 49m 26s
[patch-axel-29a] QEMU 32-bit RAM
seL4Test-HW #590: Pull request #34 synchronize by axel-h
August 13, 2023 23:15 7s
August 13, 2023 23:15 7s
odroidc2: reserve more memory for TrustZone
seL4Test-HW #589: Pull request #37 synchronize by axel-h
August 13, 2023 23:03 6s
August 13, 2023 23:03 6s