Skip to content

Actions: seL4/seL4_libs

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-sim.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

make debug_print_bootinfo() a bit more verbose seL4Test #150: Pull request #51 synchronize by axel-h
September 15, 2023 16:32 2m 1s axel-h:patch-axel-6
axel-h:patch-axel-6
September 15, 2023 16:32 2m 1s
simple: Update cap skipping for SMC seL4Test #149: Commit f8aabb6 pushed by lsf37
September 13, 2023 16:04 15m 13s master
master
September 13, 2023 16:04 15m 13s
libsel4platsupport: check num_pages after alloc success seL4Test #147: Pull request #84 synchronize by anchao
September 12, 2023 01:40 15m 34s anchao:23091106
anchao:23091106
September 12, 2023 01:40 15m 34s
libsel4platsupport: check num_pages after alloc success seL4Test #146: Pull request #84 opened by anchao
September 11, 2023 08:45 17m 10s anchao:23091106
anchao:23091106
September 11, 2023 08:45 17m 10s
libsel4muslcsys: fix va list leak in failure case seL4Test #145: Pull request #83 opened by anchao
September 11, 2023 08:29 12m 49s anchao:23091105
anchao:23091105
September 11, 2023 08:29 12m 49s
libsel4utils: fix null pointer reference seL4Test #144: Pull request #82 opened by anchao
September 11, 2023 08:28 15m 42s anchao:23091104
anchao:23091104
September 11, 2023 08:28 15m 42s
libsel4utils: fix use of uninitialized value seL4Test #143: Pull request #81 opened by anchao
September 11, 2023 08:27 18m 0s anchao:23091103
anchao:23091103
September 11, 2023 08:27 18m 0s
libsel4utils: remove unused environment setup seL4Test #142: Pull request #80 opened by anchao
September 11, 2023 07:55 14m 52s anchao:23091102
anchao:23091102
September 11, 2023 07:55 14m 52s
allocman: fix build warning on native X86 simulate seL4Test #141: Pull request #79 opened by anchao
September 11, 2023 07:32 12m 46s anchao:23091101
anchao:23091101
September 11, 2023 07:32 12m 46s
libsel4test: Add smc cap to test env seL4Test #140: Pull request #72 synchronize by Furao
August 28, 2023 13:42 18m 39s dornerworks:smc_cap
dornerworks:smc_cap
August 28, 2023 13:42 18m 39s
make debug_print_bootinfo() a bit more verbose seL4Test #139: Pull request #51 synchronize by axel-h
August 23, 2023 13:31 6m 17s axel-h:patch-axel-6
axel-h:patch-axel-6
August 23, 2023 13:31 6m 17s
use seL4_BootInfoFrameSize seL4Test #138: Commit 1f03365 pushed by lsf37
August 23, 2023 13:10 12m 53s master
master
August 23, 2023 13:10 12m 53s
libsel4simple-default,riscv: implement irq_trigger seL4Test #137: Pull request #78 synchronize by canarysnort01
August 22, 2023 15:06 13m 40s canarysnort01:riscv-simple-irq-trigger
canarysnort01:riscv-simple-irq-trigger
August 22, 2023 15:06 13m 40s
libsel4simple-default,riscv: implement irq_trigger seL4Test #136: Pull request #78 synchronize by canarysnort01
August 21, 2023 13:12 13m 44s canarysnort01:riscv-simple-irq-trigger
canarysnort01:riscv-simple-irq-trigger
August 21, 2023 13:12 13m 44s
libsel4simple-default,riscv: implement irq_trigger seL4Test #135: Pull request #78 opened by canarysnort01
August 18, 2023 07:52 14m 42s canarysnort01:riscv-simple-irq-trigger
canarysnort01:riscv-simple-irq-trigger
August 18, 2023 07:52 14m 42s
libsel4test: Add smc cap to test env seL4Test #134: Pull request #72 synchronize by Furao
August 14, 2023 13:33 4m 3s dornerworks:smc_cap
dornerworks:smc_cap
August 14, 2023 13:33 4m 3s
libsel4test,aarch64,smc: Add smc initial cap field seL4Test #133: Pull request #77 opened by kent-mcleod
August 14, 2023 02:45 16m 9s kent-mcleod:kent/smc
kent-mcleod:kent/smc
August 14, 2023 02:45 16m 9s
make debug_print_bootinfo() a bit more verbose seL4Test #132: Pull request #51 synchronize by axel-h
August 13, 2023 18:11 2m 19s axel-h:patch-axel-6
axel-h:patch-axel-6
August 13, 2023 18:11 2m 19s
use seL4_BootInfoFrameSize seL4Test #131: Pull request #73 synchronize by axel-h
August 13, 2023 18:10 16m 7s Hensoldt-Cyber:patch-axel-13
Hensoldt-Cyber:patch-axel-13
August 13, 2023 18:10 16m 7s
make debug_print_bootinfo() a bit more verbose seL4Test #130: Pull request #51 synchronize by axel-h
August 13, 2023 18:07 2m 10s axel-h:patch-axel-6
axel-h:patch-axel-6
August 13, 2023 18:07 2m 10s
trivial: Fix style seL4Test #129: Commit 173c80c pushed by kent-mcleod
August 12, 2023 04:42 14m 32s master
master
August 12, 2023 04:42 14m 32s
simple: Define SIMPLE_SKIPPED_INIT_CAPS better seL4Test #128: Pull request #76 synchronize by Furao
August 11, 2023 14:23 2m 15s dornerworks:cap_init_thread_sc
dornerworks:cap_init_thread_sc
August 11, 2023 14:23 2m 15s
simple: Define SIMPLE_SKIPPED_INIT_CAPS better seL4Test #127: Pull request #76 synchronize by Furao
August 10, 2023 17:53 12m 49s dornerworks:cap_init_thread_sc
dornerworks:cap_init_thread_sc
August 10, 2023 17:53 12m 49s
simple: Define SIMPLE_SKIPPED_INIT_CAPS better seL4Test #126: Pull request #76 synchronize by Furao
August 10, 2023 16:15 14m 0s dornerworks:cap_init_thread_sc
dornerworks:cap_init_thread_sc
August 10, 2023 16:15 14m 0s
simple: Define SIMPLE_SKIPPED_INIT_CAPS better seL4Test #125: Pull request #76 opened by Furao
August 10, 2023 15:56 18m 55s dornerworks:cap_init_thread_sc
dornerworks:cap_init_thread_sc
August 10, 2023 15:56 18m 55s