seL4Test

CMake: allow skipping include of settings.cmake #200

Sign in to view logs

Triggered via pull request June 18, 2024 09:00

lsf37

synchronize #40

axel-h:patch-axel-1

Status Success

Total duration 12m 44s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation