Skip to content

Merge pull request #1619 from goblint/issue-1616 #12343

Merge pull request #1619 from goblint/issue-1616

Merge pull request #1619 from goblint/issue-1616 #12343

Triggered via push December 16, 2024 09:10
Status Success
Total duration 21m 59s
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:b5a86a0d93ca00a557d60711ca7eef677ccf2c7f5483051509d31d96864bb04c
suite_result-ubuntu-22.04 Expired
2.67 MB
sha256:0709b8d94fb1eb9f115f3cd4549311f4b9024b2d7993bef0bdea2138aa820edd