simple: Define SIMPLE_SKIPPED_INIT_CAPS better #125

Sign in to view logs

Triggered via pull request August 10, 2023 15:56

Furao

opened #76

dornerworks:cap_init_thread_sc

Status Success

Total duration 18m 55s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation