Skip to content
coverage

Clean up SV-COMP directory #954

Sign in to view logs

Clean up SV-COMP directory

Clean up SV-COMP directory #954

Triggered via pull request December 15, 2023 10:22
@sim642sim642
opened #1295
sv-comp-cleanup
Status Success
Total duration 18m 36s
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
6.59 MB