Skip to content
indentation

Exclude Goblint stubs from YAML witnesses #9449

Sign in to view logs

Exclude Goblint stubs from YAML witnesses

Exclude Goblint stubs from YAML witnesses #9449

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

indentation.yml

on: pull_request
Matrix: indentation
Fit to window
Zoom out
Zoom in