Skip to content
indentation

Exclude Goblint stubs from YAML witnesses #9248

Sign in to view logs

Exclude Goblint stubs from YAML witnesses

Exclude Goblint stubs from YAML witnesses #9248

Triggered via pull request January 24, 2024 12:42
@sim642sim642
opened #1334
freiburg-witness-fixes
Status Skipped
Total duration 3s
Artifacts –

indentation.yml

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