Skip to content

Actions: Hensoldt-Cyber/seL4

Actions

XML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
xml_lint.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-52] XML #34: Pull request #10 synchronize by axel-h
June 20, 2024 13:17 31s patch-axel-52
patch-axel-52
June 20, 2024 13:17 31s
[patch-axel-52] XML #33: Pull request #10 synchronize by axel-h
June 20, 2024 13:16 51s patch-axel-52
patch-axel-52
June 20, 2024 13:16 51s
mcs: more uniformly handle ready and release queue XML #32: Commit 686bba4 pushed by axel-h
May 23, 2024 09:33 24s master
master
May 23, 2024 09:33 24s
[patch-axel-52] XML #31: Pull request #10 synchronize by axel-h
April 29, 2024 10:19 23s patch-axel-52
patch-axel-52
April 29, 2024 10:19 23s
make method names consistent (#1144) XML #30: Commit cbf2579 pushed by axel-h
January 19, 2024 13:08 31s master
master
January 19, 2024 13:08 31s
python: remove unused template parameter XML #29: Commit ed613d7 pushed by axel-h
January 8, 2024 07:58 21s master
master
January 8, 2024 07:58 21s
boot: sanity check for SMP lock variable state XML #28: Commit 61a8cce pushed by axel-h
August 27, 2023 19:05 21s master
master
August 27, 2023 19:05 21s
print period and budget with units XML #27: Commit 8dd8d52 pushed by axel-h
August 14, 2023 14:03 49m 9s master
master
August 14, 2023 14:03 49m 9s
odroidc2: reserve more memory for TrustZone XML #26: Pull request #37 synchronize by axel-h
August 14, 2023 14:00 51m 17s patch-axel-87
patch-axel-87
August 14, 2023 14:00 51m 17s
[patches-axel-hc] XML #25: Pull request #39 synchronize by axel-h
August 14, 2023 13:56 32m 9s patches-axel-hc
patches-axel-hc
August 14, 2023 13:56 32m 9s
[patch-axel-52] XML #24: Pull request #10 synchronize by axel-h
August 14, 2023 13:52 23m 54s patch-axel-52
patch-axel-52
August 14, 2023 13:52 23m 54s
[patch-axel-57] add seL4_DebugNameThreadFmt() XML #23: Pull request #26 synchronize by axel-h
August 14, 2023 13:51 11m 49s patch-axel-57
patch-axel-57
August 14, 2023 13:51 11m 49s
[patch-axel-47a] wip merge code XML #22: Pull request #31 synchronize by axel-h
August 14, 2023 13:51 2m 14s patch-axel-47a
patch-axel-47a
August 14, 2023 13:51 2m 14s
[patch-axel-34] boot cleanup XML #21: Pull request #13 synchronize by axel-h
August 14, 2023 13:51 54s patch-axel-34
patch-axel-34
August 14, 2023 13:51 54s
[patch-axel-29a] QEMU 32-bit RAM XML #20: Pull request #34 synchronize by axel-h
August 14, 2023 11:51 30s patch-axel-29a
patch-axel-29a
August 14, 2023 11:51 30s
[patches-axel-hc] XML #19: Pull request #39 synchronize by axel-h
August 13, 2023 23:51 59m 17s patches-axel-hc
patches-axel-hc
August 13, 2023 23:51 59m 17s
[patch-axel-34] boot cleanup XML #18: Pull request #13 synchronize by axel-h
August 13, 2023 23:48 48m 38s patch-axel-34
patch-axel-34
August 13, 2023 23:48 48m 38s
[patches-axel-hc] XML #17: Pull request #39 opened by axel-h
August 13, 2023 23:46 41m 7s patches-axel-hc
patches-axel-hc
August 13, 2023 23:46 41m 7s
[patch-axel-47a] wip merge code XML #16: Pull request #31 synchronize by axel-h
August 13, 2023 23:38 22m 8s patch-axel-47a
patch-axel-47a
August 13, 2023 23:38 22m 8s
[patch-axel-57] add seL4_DebugNameThreadFmt() XML #15: Pull request #26 synchronize by axel-h
August 13, 2023 23:27 16m 25s patch-axel-57
patch-axel-57
August 13, 2023 23:27 16m 25s
[patch-axel-47a] wip merge code XML #14: Pull request #31 synchronize by axel-h
August 13, 2023 23:22 20m 11s patch-axel-47a
patch-axel-47a
August 13, 2023 23:22 20m 11s
[patch-axel-52] XML #13: Pull request #10 synchronize by axel-h
August 13, 2023 23:21 3m 34s patch-axel-52
patch-axel-52
August 13, 2023 23:21 3m 34s
[patch-axel-29a] QEMU 32-bit RAM XML #12: Pull request #34 synchronize by axel-h
August 13, 2023 23:15 2m 0s patch-axel-29a
patch-axel-29a
August 13, 2023 23:15 2m 0s
odroidc2: reserve more memory for TrustZone XML #11: Pull request #37 synchronize by axel-h
August 13, 2023 23:03 30s patch-axel-87
patch-axel-87
August 13, 2023 23:03 30s