Update sv-comp/archive.sh for 2025 · goblint/analyzer@6a97380

Triggered via push October 17, 2024 12:29

sim642

svcomp25-dev

Status Success

Total duration 28m 40s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result-macos-13 Expired	2.7 MB
suite_result-ubuntu-22.04 Expired	2.68 MB