Skip to content

Actions: seL4/sel4test

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: simulation and HW build with LLVM on RISCV
PR #132: Pull request #110 opened by axel-h
January 11, 2024 20:03 20s axel-h:patch-axel-4
January 11, 2024 20:03 20s
CMake: allow skipping include of settings.cmake
PR #131: Pull request #40 synchronize by axel-h
November 10, 2023 13:01 29s axel-h:patch-axel-1
November 10, 2023 13:01 29s
Documentation fixes
PR #130: Pull request #108 synchronize by axel-h
November 9, 2023 22:32 22s axel-h:patch-axel-2
November 9, 2023 22:32 22s
Documentation fixes
PR #129: Pull request #108 opened by axel-h
November 9, 2023 22:18 30s axel-h:patch-axel-2
November 9, 2023 22:18 30s
SCHED0021: allow for simulation tests again
PR #128: Pull request #106 synchronize by lsf37
October 28, 2023 22:14 22s lsf37/sched0021-sim
October 28, 2023 22:14 22s
SCHED0021: allow for simulation tests again
PR #127: Pull request #106 opened by lsf37
October 28, 2023 22:12 31s lsf37/sched0021-sim
October 28, 2023 22:12 31s
SCHED0021: decrease chances of a race condition
PR #126: Pull request #105 opened by lsf37
October 27, 2023 01:36 28s lsf37/sched0021
October 27, 2023 01:36 28s
Add tests for SMC Capability
PR #124: Pull request #85 synchronize by Furao
August 29, 2023 12:43 24s dornerworks:smc_cap
August 29, 2023 12:43 24s