simple: Define SIMPLE_SKIPPED_INIT_CAPS better #127

Sign in to view logs

Triggered via pull request August 10, 2023 17:53

synchronize #76

dornerworks:cap_init_thread_sc

Status Success

Total duration 12m 49s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation