Skip to content

Actions: axel-h/seL4_libs

Actions

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: use proper step name
Trigger #26: Commit fcabdef pushed by axel-h
May 13, 2024 15:25 18s master
May 13, 2024 15:25 18s
CI: cancel older concurrent PR runs
Trigger #25: Commit d749931 pushed by axel-h
April 12, 2024 15:00 20s master
April 12, 2024 15:00 20s
libsel4allocman: fix clang warnings for printing
Trigger #24: Commit 23477c7 pushed by axel-h
February 22, 2024 20:53 1m 7s master
February 22, 2024 20:53 1m 7s
CI: simulation and HW build with LLVM on RISCV
Trigger #23: Commit f344301 pushed by axel-h
January 12, 2024 11:34 3m 18s master
January 12, 2024 11:34 3m 18s
libsel4platsupport: check num_pages after alloc
Trigger #22: Commit 043999f pushed by axel-h
November 20, 2023 10:14 15s master
November 20, 2023 10:14 15s
libsel4utils: fix use of uninitialized value
Trigger #21: Commit 180a1a3 pushed by axel-h
November 3, 2023 13:39 14s master
November 3, 2023 13:39 14s
simple: Update cap skipping for SMC
Trigger #20: Commit f8aabb6 pushed by axel-h
September 15, 2023 16:32 13s master
September 15, 2023 16:32 13s
use seL4_BootInfoFrameSize
Trigger #19: Commit 1f03365 pushed by axel-h
August 23, 2023 13:26 42s master
August 23, 2023 13:26 42s
trivial: Fix style
Trigger #18: Commit 173c80c pushed by axel-h
August 13, 2023 18:07 28s master
August 13, 2023 18:07 28s