Skip to content
locked

Update sv-comp configurations according to new schema #15185

Sign in to view logs

Update sv-comp configurations according to new schema

Update sv-comp configurations according to new schema #15185

Triggered via push March 5, 2026 14:59
@karoliinehkaroliineh
pushed af517a4
issue-1449
Status Success
Total duration 16m 28s
Artifacts 2

locked.yml

on: push
Matrix: extraction
Matrix: regression
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-latest
3 MB
sha256:04c291d797a43d26cf7dec1e6d55573d73b39905f8443aa9a7fad699d7ac66f8
suite_result-ubuntu-latest
3.04 MB
sha256:64655fb52f65cfa49eabe4c913bbd3d79c4d42f6e817ffa7f51f7eb8bbb032cc