Skip to content
options

Exclude Goblint stubs from YAML witnesses #7266

Sign in to view logs

Exclude Goblint stubs from YAML witnesses

Exclude Goblint stubs from YAML witnesses #7266

Triggered via push January 24, 2024 12:32
@sim642sim642
pushed 20c500f
freiburg-witness-fixes
Status Success
Total duration 23s
Artifacts –

options.yml

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