Skip to content
options

Update sv-comp configurations according to new schema #12028

Sign in to view logs

Update sv-comp configurations according to new schema

Update sv-comp configurations according to new schema #12028

Triggered via push March 5, 2026 14:59
@karoliinehkaroliineh
pushed af517a4
issue-1449
Status Success
Total duration 22s
Artifacts –

options.yml

on: push
Matrix: validate-conf
Fit to window
Zoom out
Zoom in