Skip to content
coverage

Exclude Goblint stubs from YAML witnesses #1171

Sign in to view logs

Exclude Goblint stubs from YAML witnesses

Exclude Goblint stubs from YAML witnesses #1171

Triggered via pull request January 24, 2024 12:42
@sim642sim642
opened #1334
freiburg-witness-fixes
Status Success
Total duration 11m 1s
Artifacts 1

coverage.yml

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

Artifacts

Produced during runtime
Name Size
suite_result Expired
2.37 MB