Skip to content

Actions: seL4/seL4_libs

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

libsel4allocman: fix clang warnings for printing PR #166: Pull request #86 synchronize by axel-h
November 24, 2023 01:04 18s axel-h:patch-axel-7
axel-h:patch-axel-7
November 24, 2023 01:04 18s
libsel4allocman: fix clang warnings for printing PR #165: Pull request #86 synchronize by axel-h
November 24, 2023 00:56 17s axel-h:patch-axel-7
axel-h:patch-axel-7
November 24, 2023 00:56 17s
libsel4allocman: fix clang warnings for printing PR #164: Pull request #86 opened by axel-h
November 24, 2023 00:47 26s axel-h:patch-axel-7
axel-h:patch-axel-7
November 24, 2023 00:47 26s
make debug_print_bootinfo() a bit more verbose PR #163: Pull request #51 synchronize by axel-h
November 20, 2023 10:15 1m 22s axel-h:patch-axel-6
axel-h:patch-axel-6
November 20, 2023 10:15 1m 22s
libsel4platsupport: check num_pages after alloc success PR #162: Pull request #84 synchronize by Indanz
November 20, 2023 10:07 1m 28s anchao:23091106
anchao:23091106
November 20, 2023 10:07 1m 28s
libsel4platsupport: check num_pages after alloc success PR #161: Pull request #84 synchronize by anchao
November 20, 2023 04:12 24s anchao:23091106
anchao:23091106
November 20, 2023 04:12 24s
libsel4platsupport: check num_pages after alloc success PR #160: Pull request #84 synchronize by anchao
November 20, 2023 02:13 21s anchao:23091106
anchao:23091106
November 20, 2023 02:13 21s
libsel4utils: fix null pointer reference PR #159: Pull request #82 synchronize by anchao
November 20, 2023 02:06 25s anchao:23091104
anchao:23091104
November 20, 2023 02:06 25s
make debug_print_bootinfo() a bit more verbose PR #158: Pull request #51 synchronize by axel-h
November 2, 2023 16:19 17s axel-h:patch-axel-6
axel-h:patch-axel-6
November 2, 2023 16:19 17s
libsel4utils: fix use of uninitialized value PR #157: Pull request #81 synchronize by Indanz
November 1, 2023 16:01 5m 1s anchao:23091103
anchao:23091103
November 1, 2023 16:01 5m 1s
libsel4muslcsys: fix va list leak in failure case PR #156: Pull request #83 synchronize by Indanz
November 1, 2023 15:44 25s anchao:23091105
anchao:23091105
November 1, 2023 15:44 25s
make debug_print_bootinfo() a bit more verbose PR #155: Pull request #51 synchronize by axel-h
September 15, 2023 17:11 25s axel-h:patch-axel-6
axel-h:patch-axel-6
September 15, 2023 17:11 25s
make debug_print_bootinfo() a bit more verbose PR #154: Pull request #51 synchronize by axel-h
September 15, 2023 17:02 31s axel-h:patch-axel-6
axel-h:patch-axel-6
September 15, 2023 17:02 31s
make debug_print_bootinfo() a bit more verbose PR #153: Pull request #51 synchronize by axel-h
September 15, 2023 16:32 28s axel-h:patch-axel-6
axel-h:patch-axel-6
September 15, 2023 16:32 28s
libsel4platsupport: check num_pages after alloc success PR #151: Pull request #84 synchronize by anchao
September 12, 2023 01:40 24s anchao:23091106
anchao:23091106
September 12, 2023 01:40 24s
libsel4platsupport: check num_pages after alloc success PR #150: Pull request #84 opened by anchao
September 11, 2023 08:45 30s anchao:23091106
anchao:23091106
September 11, 2023 08:45 30s
libsel4muslcsys: fix va list leak in failure case PR #149: Pull request #83 opened by anchao
September 11, 2023 08:29 30s anchao:23091105
anchao:23091105
September 11, 2023 08:29 30s
libsel4utils: fix null pointer reference PR #148: Pull request #82 opened by anchao
September 11, 2023 08:28 22s anchao:23091104
anchao:23091104
September 11, 2023 08:28 22s
libsel4utils: fix use of uninitialized value PR #147: Pull request #81 opened by anchao
September 11, 2023 08:27 22s anchao:23091103
anchao:23091103
September 11, 2023 08:27 22s
libsel4utils: remove unused environment setup PR #146: Pull request #80 opened by anchao
September 11, 2023 07:55 24s anchao:23091102
anchao:23091102
September 11, 2023 07:55 24s
allocman: fix build warning on native X86 simulate PR #145: Pull request #79 opened by anchao
September 11, 2023 07:32 24s anchao:23091101
anchao:23091101
September 11, 2023 07:32 24s
libsel4test: Add smc cap to test env PR #144: Pull request #72 synchronize by Furao
August 28, 2023 13:42 37s dornerworks:smc_cap
dornerworks:smc_cap
August 28, 2023 13:42 37s
make debug_print_bootinfo() a bit more verbose PR #143: Pull request #51 synchronize by axel-h
August 23, 2023 13:31 4m 27s axel-h:patch-axel-6
axel-h:patch-axel-6
August 23, 2023 13:31 4m 27s
libsel4simple-default,riscv: implement irq_trigger PR #142: Pull request #78 synchronize by canarysnort01
August 22, 2023 15:06 28s canarysnort01:riscv-simple-irq-trigger
canarysnort01:riscv-simple-irq-trigger
August 22, 2023 15:06 28s
libsel4simple-default,riscv: implement irq_trigger PR #141: Pull request #78 synchronize by canarysnort01
August 21, 2023 13:12 28s canarysnort01:riscv-simple-irq-trigger
canarysnort01:riscv-simple-irq-trigger
August 21, 2023 13:12 28s