Trigger · Workflow runs · Hensoldt-Cyber/seL4_libs · GitHub

Actions

Trigger

Actions

Loading...
Loading

4 workflow runs

4 workflow runs

CI: use proper step name Trigger #23: Commit fcabdef pushed by axel-h

May 13, 2024 15:26

15s master

master

May 13, 2024 15:26

15s

CI: simulation and HW build with LLVM on RISCV Trigger #22: Commit f344301 pushed by axel-h

February 22, 2024 16:33

20s master

master

February 22, 2024 16:33

20s

libsel4platsupport: check num_pages after alloc Trigger #21: Commit 043999f pushed by axel-h

November 20, 2023 10:19

18s master

master

November 20, 2023 10:19

18s

libsel4utils: fix use of uninitialized value Trigger #20: Commit 180a1a3 pushed by axel-h

November 3, 2023 13:39

13s master

master

November 3, 2023 13:39

13s