Skip to content

Actions: axel-h/seL4_libs

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patches-axel]
PR #47: Pull request #7 synchronize by axel-h
February 22, 2024 22:34 1m 1s patches-axel
February 22, 2024 22:34 1m 1s
[patch-axel-3] cleanup libsel4platsupport debug channel
PR #46: Pull request #6 synchronize by axel-h
February 22, 2024 22:33 25s patch-axel-3
February 22, 2024 22:33 25s
[patches-axel]
PR #45: Pull request #7 synchronize by axel-h
February 22, 2024 22:30 47s patches-axel
February 22, 2024 22:30 47s
[patch-axel-3] cleanup libsel4platsupport debug channel
PR #44: Pull request #6 synchronize by axel-h
February 22, 2024 22:29 19s patch-axel-3
February 22, 2024 22:29 19s
[patch-axel-3] cleanup libsel4platsupport debug channel
PR #43: Pull request #6 synchronize by axel-h
February 22, 2024 22:27 20s patch-axel-3
February 22, 2024 22:27 20s
[patch-axel-3] cleanup libsel4platsupport debug channel
PR #42: Pull request #6 synchronize by axel-h
February 22, 2024 22:26 28s patch-axel-3
February 22, 2024 22:26 28s
[patch-axel-3] cleanup libsel4platsupport debug channel
PR #41: Pull request #6 synchronize by axel-h
February 22, 2024 21:40 14m 8s patch-axel-3
February 22, 2024 21:40 14m 8s
[patch-axel-4] add sanity check for configuration
PR #40: Pull request #3 synchronize by axel-h
February 22, 2024 21:37 9m 38s patch-axel-4
February 22, 2024 21:37 9m 38s
[patches-axel]
PR #39: Pull request #7 opened by axel-h
February 22, 2024 21:30 19s patches-axel
February 22, 2024 21:30 19s
[patch-axel-3] cleanup libsel4platsupport debug channel
PR #38: Pull request #6 opened by axel-h
February 22, 2024 21:28 23s patch-axel-3
February 22, 2024 21:28 23s
[patch-axel-4] add sanity check for configuration
PR #37: Pull request #3 synchronize by axel-h
February 22, 2024 21:01 2m 5s patch-axel-4
February 22, 2024 21:01 2m 5s
[patch-axel-12] libsel4allocman cleanup
PR #36: Pull request #5 synchronize by axel-h
February 22, 2024 20:54 9m 5s patch-axel-12
February 22, 2024 20:54 9m 5s
[patch-axel-4] add sanity check for configuration
PR #35: Pull request #3 synchronize by axel-h
February 22, 2024 20:53 42s patch-axel-4
February 22, 2024 20:53 42s
[patch-axel-12] libsel4allocman cleanup
PR #34: Pull request #5 synchronize by axel-h
January 12, 2024 12:00 23s patch-axel-12
January 12, 2024 12:00 23s
[patch-axel-12] libsel4allocman cleanup
PR #33: Pull request #5 synchronize by axel-h
January 12, 2024 11:39 4m 12s patch-axel-12
January 12, 2024 11:39 4m 12s
[patch-axel-4] add sanity check for configuration
PR #32: Pull request #3 synchronize by axel-h
January 12, 2024 11:38 33s patch-axel-4
January 12, 2024 11:38 33s
[patch-axel-12] libsel4allocman cleanup
PR #31: Pull request #5 synchronize by axel-h
November 24, 2023 01:08 38s patch-axel-12
November 24, 2023 01:08 38s
[patch-axel-7] libsel4allocman: fix type warnings for printing
PR #30: Pull request #4 synchronize by axel-h
November 24, 2023 01:06 21s patch-axel-7
November 24, 2023 01:06 21s
[patch-axel-7] libsel4allocman: fix type warnings for printing
PR #29: Pull request #4 synchronize by axel-h
November 24, 2023 01:04 29s patch-axel-7
November 24, 2023 01:04 29s
[patch-axel-7] libsel4allocman: fix type warnings for printing
PR #28: Pull request #4 synchronize by axel-h
November 24, 2023 00:56 21s patch-axel-7
November 24, 2023 00:56 21s
[patch-axel-7] libsel4allocman: fix type warnings for printing
PR #27: Pull request #4 synchronize by axel-h
November 24, 2023 00:34 5m 4s patch-axel-7
November 24, 2023 00:34 5m 4s
[patch-axel-7] libsel4allocman: fix type warnings for printing
PR #26: Pull request #4 synchronize by axel-h
November 24, 2023 00:32 26s patch-axel-7
November 24, 2023 00:32 26s
[patch-axel-12] libsel4allocman cleanup
PR #25: Pull request #5 synchronize by axel-h
November 24, 2023 00:26 25s patch-axel-12
November 24, 2023 00:26 25s
[patch-axel-12] libsel4allocman cleanup
PR #24: Pull request #5 opened by axel-h
November 23, 2023 23:53 22s patch-axel-12
November 23, 2023 23:53 22s
[patch-axel-7] libsel4allocman: fix type warnings for printing
PR #23: Pull request #4 opened by axel-h
November 23, 2023 23:52 19s patch-axel-7
November 23, 2023 23:52 19s