Skip to content

Actions: seL4/seL4_libs

Actions

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid garbage on stdout for first print
Trigger #34: Commit d3d24dd pushed by Indanz
November 19, 2024 19:13 17s master
November 19, 2024 19:13 17s
libsel4utils: remove unused environment setup
Trigger #33: Commit 88c7615 pushed by kent-mcleod
September 9, 2024 10:01 17s master
September 9, 2024 10:01 17s
CI: use proper step name
Trigger #32: Commit fcabdef pushed by lsf37
April 14, 2024 23:29 15s master
April 14, 2024 23:29 15s
CI: cancel older concurrent PR runs
Trigger #31: Commit d749931 pushed by lsf37
April 9, 2024 23:49 5m 15s master
April 9, 2024 23:49 5m 15s
libsel4allocman: fix clang warnings for printing
Trigger #30: Commit 23477c7 pushed by kent-mcleod
February 22, 2024 20:46 24s master
February 22, 2024 20:46 24s
CI: simulation and HW build with LLVM on RISCV
Trigger #29: Commit f344301 pushed by lsf37
January 11, 2024 22:22 12s master
January 11, 2024 22:22 12s
libsel4platsupport: check num_pages after alloc
Trigger #28: Commit 043999f pushed by Indanz
November 20, 2023 10:13 12s master
November 20, 2023 10:13 12s
libsel4utils: fix null pointer reference
Trigger #27: Commit 30a915a pushed by Indanz
November 20, 2023 10:04 20s master
November 20, 2023 10:04 20s
libsel4utils: fix use of uninitialized value
Trigger #26: Commit 180a1a3 pushed by Indanz
November 2, 2023 15:58 17s master
November 2, 2023 15:58 17s
libsel4muslcsys: fix va list leak in failure case
Trigger #25: Commit d5fa7fe pushed by Indanz
November 1, 2023 15:59 16s master
November 1, 2023 15:59 16s
simple: Update cap skipping for SMC
Trigger #24: Commit f8aabb6 pushed by lsf37
September 13, 2023 16:04 20s master
September 13, 2023 16:04 20s
use seL4_BootInfoFrameSize
Trigger #23: Commit 1f03365 pushed by lsf37
August 23, 2023 13:10 18s master
August 23, 2023 13:10 18s
trivial: Fix style
Trigger #22: Commit 173c80c pushed by kent-mcleod
August 12, 2023 04:42 15s master
August 12, 2023 04:42 15s
aarch64: Minimal update for vspace API change
Trigger #21: Commit 310eace pushed by kent-mcleod
August 9, 2023 22:20 15s master
August 9, 2023 22:20 15s