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

libsel4simple-default: include schedcontrol range PR #193: Pull request #92 opened by astevins
August 24, 2024 16:20 26s astevins:simple-transfer-sched-ctrl
astevins:simple-transfer-sched-ctrl
August 24, 2024 16:20 26s
libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject PR #192: Pull request #91 synchronize by astevins
July 22, 2024 19:59 27s astevins:retype_cap_table
astevins:retype_cap_table
July 22, 2024 19:59 27s
libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject PR #190: Pull request #91 synchronize by astevins
July 22, 2024 18:22 26s astevins:retype_cap_table
astevins:retype_cap_table
July 22, 2024 18:22 26s
libsel4simple-default,riscv: implement irq_trigger PR #188: Pull request #78 synchronize by Ivan-Velickovic
June 11, 2024 15:48 23s canarysnort01:riscv-simple-irq-trigger
canarysnort01:riscv-simple-irq-trigger
June 11, 2024 15:48 23s
make debug_print_bootinfo() a bit more verbose PR #187: Pull request #51 synchronize by axel-h
April 15, 2024 08:09 36s axel-h:patch-axel-6
axel-h:patch-axel-6
April 15, 2024 08:09 36s
CI: use proper step name PR #186: Pull request #90 opened by axel-h
April 12, 2024 15:05 35s axel-h:patch-axel-5
axel-h:patch-axel-5
April 12, 2024 15:05 35s
make debug_print_bootinfo() a bit more verbose PR #185: Pull request #51 synchronize by axel-h
April 12, 2024 15:01 28s axel-h:patch-axel-6
axel-h:patch-axel-6
April 12, 2024 15:01 28s
CI: cancel older concurrent PR runs PR #184: Pull request #89 opened by axel-h
April 4, 2024 11:48 27s axel-h:patch-axel-13
axel-h:patch-axel-13
April 4, 2024 11:48 27s
make debug_print_bootinfo() a bit more verbose PR #183: Pull request #51 synchronize by axel-h
April 4, 2024 10:02 24s axel-h:patch-axel-6
axel-h:patch-axel-6
April 4, 2024 10:02 24s
make debug_print_bootinfo() a bit more verbose PR #182: Pull request #51 synchronize by axel-h
February 22, 2024 20:55 21s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 20:55 21s
make debug_print_bootinfo() a bit more verbose PR #181: Pull request #51 synchronize by axel-h
February 22, 2024 17:46 19s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 17:46 19s
make debug_print_bootinfo() a bit more verbose PR #180: Pull request #51 synchronize by axel-h
February 22, 2024 17:43 27s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 17:43 27s
Enable building with lld PR #179: Pull request #75 synchronize by heshamelmatary
January 27, 2024 15:12 20s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 27, 2024 15:12 20s
Enable building with lld PR #178: Pull request #75 synchronize by heshamelmatary
January 26, 2024 15:16 29s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 26, 2024 15:16 29s
sel4bench/morello: Add a new CPU with PMU events PR #177: Pull request #88 opened by heshamelmatary
January 22, 2024 10:40 24s CTSRD-CHERI:pr_morello_aarch64
CTSRD-CHERI:pr_morello_aarch64
January 22, 2024 10:40 24s
Enable building with lld PR #176: Pull request #75 synchronize by heshamelmatary
January 16, 2024 11:50 22s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 16, 2024 11:50 22s
Enable building with lld PR #175: Pull request #75 synchronize by heshamelmatary
January 16, 2024 11:44 17s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 16, 2024 11:44 17s
Enable building with lld PR #174: Pull request #75 synchronize by heshamelmatary
January 16, 2024 11:27 22s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 16, 2024 11:27 22s
libsel4allocman: fix clang warnings for printing PR #173: Pull request #86 synchronize by axel-h
January 12, 2024 12:00 24s axel-h:patch-axel-7
axel-h:patch-axel-7
January 12, 2024 12:00 24s
libsel4allocman: fix clang warnings for printing PR #172: Pull request #86 synchronize by axel-h
January 12, 2024 11:39 22s axel-h:patch-axel-7
axel-h:patch-axel-7
January 12, 2024 11:39 22s
make debug_print_bootinfo() a bit more verbose PR #171: Pull request #51 synchronize by axel-h
January 12, 2024 11:38 17s axel-h:patch-axel-6
axel-h:patch-axel-6
January 12, 2024 11:38 17s
make debug_print_bootinfo() a bit more verbose PR #170: Pull request #51 synchronize by axel-h
January 12, 2024 11:36 22s axel-h:patch-axel-6
axel-h:patch-axel-6
January 12, 2024 11:36 22s
make debug_print_bootinfo() a bit more verbose PR #169: Pull request #51 synchronize by axel-h
January 12, 2024 11:35 22s axel-h:patch-axel-6
axel-h:patch-axel-6
January 12, 2024 11:35 22s
CI: simulation and HW build with LLVM on RISCV PR #168: Pull request #87 opened by axel-h
January 11, 2024 20:00 23s axel-h:patch-axel-14
axel-h:patch-axel-14
January 11, 2024 20:00 23s
libsel4allocman: fix clang warnings for printing PR #167: Pull request #86 synchronize by axel-h
November 24, 2023 01:06 17s axel-h:patch-axel-7
axel-h:patch-axel-7
November 24, 2023 01:06 17s