Skip to content

Actions: axel-h/seL4_libs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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-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 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-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-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
[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 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
[patch-axel-4] add sanity check for configuration CI #50: Pull request #3 synchronize by axel-h
November 3, 2023 16:46 34s patch-axel-4
patch-axel-4
November 3, 2023 16:46 34s
[patch-axel-4] add sanity check for configuration CI #49: Pull request #3 synchronize by axel-h
November 3, 2023 16:35 27s patch-axel-4
patch-axel-4
November 3, 2023 16:35 27s
[patch-axel-4] add sanity check for configuration CI #48: Pull request #3 synchronize by axel-h
November 3, 2023 16:34 29s patch-axel-4
patch-axel-4
November 3, 2023 16:34 29s
[patch-axel-4] add sanity check for configuration CI #47: Pull request #3 synchronize by axel-h
November 3, 2023 16:31 31s patch-axel-4
patch-axel-4
November 3, 2023 16:31 31s
[patch-axel-4] add sanity check for configuration CI #46: Pull request #3 synchronize by axel-h
November 3, 2023 16:01 4m 23s patch-axel-4
patch-axel-4
November 3, 2023 16:01 4m 23s
[patch-axel-4] add sanity check for configuration CI #45: Pull request #3 synchronize by axel-h
November 3, 2023 15:59 33s patch-axel-4
patch-axel-4
November 3, 2023 15:59 33s
[patch-axel-4] add sanity check for configuration CI #44: Pull request #3 synchronize by axel-h
November 3, 2023 15:53 36s patch-axel-4
patch-axel-4
November 3, 2023 15:53 36s
[patch-axel-4] add sanity check for configuration CI #43: Pull request #3 opened by axel-h
November 3, 2023 15:52 40s patch-axel-4
patch-axel-4
November 3, 2023 15:52 40s
libsel4utils: fix use of uninitialized value CI #42: Commit 180a1a3 pushed by axel-h
November 3, 2023 13:39 36s master
master
November 3, 2023 13:39 36s