seL4Test

CMake: allow skipping include of settings.cmake #176

Sign in to view logs

Triggered via pull request April 10, 2024 13:15

axel-h

synchronize #40

axel-h:patch-axel-1

Status Success

Total duration 12m 51s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation