Skip to content

Merge pull request #1580 from goblint/issue-1577 #12450

Merge pull request #1580 from goblint/issue-1577

Merge pull request #1580 from goblint/issue-1577 #12450

Triggered via push December 20, 2024 09:44
Status Success
Total duration 51m 6s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

locked.yml

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

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-13 Expired
2.73 MB
sha256:aab0e44eaedfc4c46e7988ba87f3f13c4440ebda6309cefe6b94e4482c1944dd
suite_result-ubuntu-22.04 Expired
2.67 MB
sha256:6cbd6f500f46b42e2568a53cd519250d28ea9460c05a291fc2f96dc557c68105