Skip to content

Actions: seL4/seL4_libs

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sel4muslcsys,riscv32: Fix up llseek on rv32 arch seL4Test #206: Pull request #94 synchronize by kent-mcleod
February 12, 2025 07:36 9m 34s kent-mcleod:kent/musl
kent-mcleod:kent/musl
February 12, 2025 07:36 9m 34s
sel4muslcsys,riscv32: Fix up llseek on rv32 arch seL4Test #205: Pull request #94 opened by kent-mcleod
February 10, 2025 04:12 9m 23s kent-mcleod:kent/musl
kent-mcleod:kent/musl
February 10, 2025 04:12 9m 23s
libsel4test: retain _test_type and _test_case seL4Test #204: Commit 12d0d97 pushed by kent-mcleod
February 5, 2025 22:38 13m 29s master
master
February 5, 2025 22:38 13m 29s
Avoid garbage on stdout for first print seL4Test #203: Commit d3d24dd pushed by Indanz
November 19, 2024 19:13 12m 20s master
master
November 19, 2024 19:13 12m 20s
Avoid garbage on stdout for first print seL4Test #202: Pull request #93 synchronize by Indanz
November 19, 2024 17:38 12m 8s Indanz:norecursion
Indanz:norecursion
November 19, 2024 17:38 12m 8s
Avoid garbage on stdout for first print seL4Test #201: Pull request #93 opened by Indanz
November 19, 2024 11:59 12m 10s Indanz:norecursion
Indanz:norecursion
November 19, 2024 11:59 12m 10s
libsel4utils: remove unused environment setup seL4Test #200: Commit 88c7615 pushed by kent-mcleod
September 9, 2024 10:01 12m 36s master
master
September 9, 2024 10:01 12m 36s
libsel4simple-default: include schedcontrol range seL4Test #198: Pull request #92 opened by astevins
August 24, 2024 16:20 12m 30s astevins:simple-transfer-sched-ctrl
astevins:simple-transfer-sched-ctrl
August 24, 2024 16:20 12m 30s
libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject seL4Test #197: Pull request #91 synchronize by astevins
July 22, 2024 19:59 12m 56s astevins:retype_cap_table
astevins:retype_cap_table
July 22, 2024 19:59 12m 56s
libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject seL4Test #195: Pull request #91 synchronize by astevins
July 22, 2024 18:22 12m 59s astevins:retype_cap_table
astevins:retype_cap_table
July 22, 2024 18:22 12m 59s
libsel4simple-default,riscv: implement irq_trigger seL4Test #193: Pull request #78 synchronize by Ivan-Velickovic
June 11, 2024 15:48 12m 54s canarysnort01:riscv-simple-irq-trigger
canarysnort01:riscv-simple-irq-trigger
June 11, 2024 15:48 12m 54s
make debug_print_bootinfo() a bit more verbose seL4Test #192: Pull request #51 synchronize by axel-h
April 15, 2024 08:09 13m 5s axel-h:patch-axel-6
axel-h:patch-axel-6
April 15, 2024 08:09 13m 5s
CI: use proper step name seL4Test #191: Commit fcabdef pushed by lsf37
April 14, 2024 23:29 12m 44s master
master
April 14, 2024 23:29 12m 44s
CI: use proper step name seL4Test #190: Pull request #90 opened by axel-h
April 12, 2024 15:05 12m 49s axel-h:patch-axel-5
axel-h:patch-axel-5
April 12, 2024 15:05 12m 49s
make debug_print_bootinfo() a bit more verbose seL4Test #189: Pull request #51 synchronize by axel-h
April 12, 2024 15:01 12m 58s axel-h:patch-axel-6
axel-h:patch-axel-6
April 12, 2024 15:01 12m 58s
CI: cancel older concurrent PR runs seL4Test #188: Commit d749931 pushed by lsf37
April 9, 2024 23:49 25m 17s master
master
April 9, 2024 23:49 25m 17s
CI: cancel older concurrent PR runs seL4Test #187: Pull request #89 opened by axel-h
April 4, 2024 11:48 12m 51s axel-h:patch-axel-13
axel-h:patch-axel-13
April 4, 2024 11:48 12m 51s
make debug_print_bootinfo() a bit more verbose seL4Test #186: Pull request #51 synchronize by axel-h
April 4, 2024 10:02 12m 46s axel-h:patch-axel-6
axel-h:patch-axel-6
April 4, 2024 10:02 12m 46s
make debug_print_bootinfo() a bit more verbose seL4Test #185: Pull request #51 synchronize by axel-h
February 22, 2024 20:55 22m 44s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 20:55 22m 44s
libsel4allocman: fix clang warnings for printing seL4Test #184: Commit 23477c7 pushed by kent-mcleod
February 22, 2024 20:46 12m 50s master
master
February 22, 2024 20:46 12m 50s
make debug_print_bootinfo() a bit more verbose seL4Test #183: Pull request #51 synchronize by axel-h
February 22, 2024 17:46 12m 53s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 17:46 12m 53s
make debug_print_bootinfo() a bit more verbose seL4Test #182: Pull request #51 synchronize by axel-h
February 22, 2024 17:43 12m 48s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 17:43 12m 48s
Enable building with lld seL4Test #181: Pull request #75 synchronize by heshamelmatary
January 27, 2024 15:12 11m 48s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 27, 2024 15:12 11m 48s
Enable building with lld seL4Test #180: Pull request #75 synchronize by heshamelmatary
January 26, 2024 15:16 11m 55s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 26, 2024 15:16 11m 55s
sel4bench/morello: Add a new CPU with PMU events seL4Test #179: Pull request #88 opened by heshamelmatary
January 22, 2024 10:40 33m 17s CTSRD-CHERI:pr_morello_aarch64
CTSRD-CHERI:pr_morello_aarch64
January 22, 2024 10:40 33m 17s