Skip to content
options

Exclude Goblint stubs from YAML witnesses #7468

Sign in to view logs

Exclude Goblint stubs from YAML witnesses

Exclude Goblint stubs from YAML witnesses #7468

Triggered via pull request February 7, 2024 10:13
@sim642sim642
synchronize #1334
freiburg-witness-fixes
Status Success
Total duration 19s
Artifacts –

options.yml

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