Skip to content

Add sv-comp CI run

Add sv-comp CI run #4

Triggered via pull request April 8, 2024 13:01
@JezurkoJezurko
synchronize #541
svcomp-ci
Status Success
Total duration 12m 50s
Artifacts 2

svcomp.yml

on: pull_request
Matrix: Build VAST
Matrix: Run SV-Comp test suite
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
VAST Expired
42.5 MB
results-hl Expired
412 Bytes