Skip to content
options

Clean up SV-COMP directory #6952

Sign in to view logs

Clean up SV-COMP directory

Clean up SV-COMP directory #6952

Triggered via pull request December 15, 2023 10:22
@sim642sim642
opened #1295
sv-comp-cleanup
Status Success
Total duration 17s
Artifacts –

options.yml

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