Skip to content

Actions: axel-h/seL4_libs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
patch-axel-7
November 24, 2023 00:32 26s
[patch-axel-7] libsel4allocman: fix type warnings for printing CI #59: Pull request #4 synchronize by axel-h
November 24, 2023 00:32 4m 19s patch-axel-7
patch-axel-7
November 24, 2023 00:32 4m 19s
[patch-axel-7] libsel4allocman: fix type warnings for printing seL4Test #50: Pull request #4 synchronize by axel-h
November 24, 2023 00:32 13m 42s patch-axel-7
patch-axel-7
November 24, 2023 00:32 13m 42s
[patch-axel-12] libsel4allocman cleanup seL4Test #49: Pull request #5 synchronize by axel-h
November 24, 2023 00:26 9m 19s patch-axel-12
patch-axel-12
November 24, 2023 00:26 9m 19s
[patch-axel-12] libsel4allocman cleanup CI #58: Pull request #5 synchronize by axel-h
November 24, 2023 00:26 28s patch-axel-12
patch-axel-12
November 24, 2023 00:26 28s
[patch-axel-12] libsel4allocman cleanup PR #25: Pull request #5 synchronize by axel-h
November 24, 2023 00:26 25s patch-axel-12
patch-axel-12
November 24, 2023 00:26 25s
[patch-axel-12] libsel4allocman cleanup CI #57: Pull request #5 opened by axel-h
November 23, 2023 23:53 30s patch-axel-12
patch-axel-12
November 23, 2023 23:53 30s
[patch-axel-12] libsel4allocman cleanup PR #24: Pull request #5 opened by axel-h
November 23, 2023 23:53 22s patch-axel-12
patch-axel-12
November 23, 2023 23:53 22s
[patch-axel-12] libsel4allocman cleanup seL4Test #48: Pull request #5 opened by axel-h
November 23, 2023 23:53 1m 47s patch-axel-12
patch-axel-12
November 23, 2023 23:53 1m 47s
[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
patch-axel-7
November 23, 2023 23:52 19s
[patch-axel-7] libsel4allocman: fix type warnings for printing CI #56: Pull request #4 opened by axel-h
November 23, 2023 23:52 26s patch-axel-7
patch-axel-7
November 23, 2023 23:52 26s
[patch-axel-7] libsel4allocman: fix type warnings for printing seL4Test #47: Pull request #4 opened by axel-h
November 23, 2023 23:52 9m 19s patch-axel-7
patch-axel-7
November 23, 2023 23:52 9m 19s
[patch-axel-4] add sanity check for configuration seL4Test #46: Pull request #3 synchronize by axel-h
November 20, 2023 10:16 9m 27s patch-axel-4
patch-axel-4
November 20, 2023 10:16 9m 27s
[patch-axel-4] add sanity check for configuration PR #22: Pull request #3 synchronize by axel-h
November 20, 2023 10:16 30s patch-axel-4
patch-axel-4
November 20, 2023 10:16 30s
[patch-axel-4] add sanity check for configuration CI #55: Pull request #3 synchronize by axel-h
November 20, 2023 10:16 29s patch-axel-4
patch-axel-4
November 20, 2023 10:16 29s
libsel4platsupport: check num_pages after alloc CI #54: Commit 043999f pushed by axel-h
November 20, 2023 10:14 38s master
master
November 20, 2023 10:14 38s
libsel4platsupport: check num_pages after alloc seL4Test #45: Commit 043999f pushed by axel-h
November 20, 2023 10:14 9m 26s master
master
November 20, 2023 10:14 9m 26s
libsel4platsupport: check num_pages after alloc Trigger #22: Commit 043999f pushed by axel-h
November 20, 2023 10:14 15s master
master
November 20, 2023 10:14 15s
[patch-axel-4] add sanity check for configuration CI #53: Pull request #3 synchronize by axel-h
November 3, 2023 18:04 33s patch-axel-4
patch-axel-4
November 3, 2023 18:04 33s
[patch-axel-4] add sanity check for configuration PR #21: Pull request #3 synchronize by axel-h
November 3, 2023 18:04 24s patch-axel-4
patch-axel-4
November 3, 2023 18:04 24s
[patch-axel-4] add sanity check for configuration seL4Test #44: Pull request #3 synchronize by axel-h
November 3, 2023 18:04 12m 29s patch-axel-4
patch-axel-4
November 3, 2023 18:04 12m 29s
[patch-axel-4] add sanity check for configuration seL4Test #43: Pull request #3 synchronize by axel-h
November 3, 2023 16:52 13m 11s patch-axel-4
patch-axel-4
November 3, 2023 16:52 13m 11s
[patch-axel-4] add sanity check for configuration PR #20: Pull request #3 synchronize by axel-h
November 3, 2023 16:52 23s patch-axel-4
patch-axel-4
November 3, 2023 16:52 23s
[patch-axel-4] add sanity check for configuration CI #52: Pull request #3 synchronize by axel-h
November 3, 2023 16:52 32s patch-axel-4
patch-axel-4
November 3, 2023 16:52 32s
[patch-axel-4] add sanity check for configuration CI #51: Pull request #3 synchronize by axel-h
November 3, 2023 16:50 43s patch-axel-4
patch-axel-4
November 3, 2023 16:50 43s