Skip to content

Actions: seL4/seL4_libs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid garbage on stdout for first print CI #242: Commit d3d24dd pushed by Indanz
November 19, 2024 19:13 28s master
master
November 19, 2024 19:13 28s
Avoid garbage on stdout for first print CI #241: Pull request #93 synchronize by Indanz
November 19, 2024 17:38 31s Indanz:norecursion
Indanz:norecursion
November 19, 2024 17:38 31s
Avoid garbage on stdout for first print CI #240: Pull request #93 opened by Indanz
November 19, 2024 11:59 33s Indanz:norecursion
Indanz:norecursion
November 19, 2024 11:59 33s
libsel4utils: remove unused environment setup CI #239: Commit 88c7615 pushed by kent-mcleod
September 9, 2024 10:01 33s master
master
September 9, 2024 10:01 33s
libsel4simple-default: include schedcontrol range CI #237: Pull request #92 opened by astevins
August 24, 2024 16:20 32s astevins:simple-transfer-sched-ctrl
astevins:simple-transfer-sched-ctrl
August 24, 2024 16:20 32s
libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject CI #236: Pull request #91 synchronize by astevins
July 22, 2024 19:59 29s astevins:retype_cap_table
astevins:retype_cap_table
July 22, 2024 19:59 29s
libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject CI #234: Pull request #91 synchronize by astevins
July 22, 2024 18:22 34s astevins:retype_cap_table
astevins:retype_cap_table
July 22, 2024 18:22 34s
libsel4simple-default,riscv: implement irq_trigger CI #232: Pull request #78 synchronize by Ivan-Velickovic
June 11, 2024 15:48 26s canarysnort01:riscv-simple-irq-trigger
canarysnort01:riscv-simple-irq-trigger
June 11, 2024 15:48 26s
make debug_print_bootinfo() a bit more verbose CI #231: Pull request #51 synchronize by axel-h
April 15, 2024 08:09 38s axel-h:patch-axel-6
axel-h:patch-axel-6
April 15, 2024 08:09 38s
CI: use proper step name CI #230: Commit fcabdef pushed by lsf37
April 14, 2024 23:29 33s master
master
April 14, 2024 23:29 33s
CI: use proper step name CI #229: Pull request #90 opened by axel-h
April 12, 2024 15:05 37s axel-h:patch-axel-5
axel-h:patch-axel-5
April 12, 2024 15:05 37s
make debug_print_bootinfo() a bit more verbose CI #228: Pull request #51 synchronize by axel-h
April 12, 2024 15:01 56s axel-h:patch-axel-6
axel-h:patch-axel-6
April 12, 2024 15:01 56s
CI: cancel older concurrent PR runs CI #227: Commit d749931 pushed by lsf37
April 9, 2024 23:49 5m 11s master
master
April 9, 2024 23:49 5m 11s
CI: cancel older concurrent PR runs CI #226: Pull request #89 opened by axel-h
April 4, 2024 11:48 29s axel-h:patch-axel-13
axel-h:patch-axel-13
April 4, 2024 11:48 29s
make debug_print_bootinfo() a bit more verbose CI #225: Pull request #51 synchronize by axel-h
April 4, 2024 10:02 31s axel-h:patch-axel-6
axel-h:patch-axel-6
April 4, 2024 10:02 31s
make debug_print_bootinfo() a bit more verbose CI #224: Pull request #51 synchronize by axel-h
February 22, 2024 20:55 32s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 20:55 32s
libsel4allocman: fix clang warnings for printing CI #223: Commit 23477c7 pushed by kent-mcleod
February 22, 2024 20:46 31s master
master
February 22, 2024 20:46 31s
make debug_print_bootinfo() a bit more verbose CI #222: Pull request #51 synchronize by axel-h
February 22, 2024 17:46 31s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 17:46 31s
make debug_print_bootinfo() a bit more verbose CI #221: Pull request #51 synchronize by axel-h
February 22, 2024 17:43 33s axel-h:patch-axel-6
axel-h:patch-axel-6
February 22, 2024 17:43 33s
Enable building with lld CI #220: Pull request #75 synchronize by heshamelmatary
January 27, 2024 15:12 28s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 27, 2024 15:12 28s
Enable building with lld CI #219: Pull request #75 synchronize by heshamelmatary
January 26, 2024 15:16 27s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 26, 2024 15:16 27s
sel4bench/morello: Add a new CPU with PMU events CI #218: Pull request #88 opened by heshamelmatary
January 22, 2024 10:40 28s CTSRD-CHERI:pr_morello_aarch64
CTSRD-CHERI:pr_morello_aarch64
January 22, 2024 10:40 28s
Enable building with lld CI #217: Pull request #75 synchronize by heshamelmatary
January 16, 2024 11:50 25s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 16, 2024 11:50 25s
Enable building with lld CI #216: Pull request #75 synchronize by heshamelmatary
January 16, 2024 11:44 29s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 16, 2024 11:44 29s
Enable building with lld CI #215: Pull request #75 synchronize by heshamelmatary
January 16, 2024 11:27 29s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 16, 2024 11:27 29s