Skip to content

Merge pull request #1552 from goblint/traces-vojdani #12493

Merge pull request #1552 from goblint/traces-vojdani

Merge pull request #1552 from goblint/traces-vojdani #12493

Triggered via push December 30, 2024 13:03
Status Success
Total duration 22m 29s
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:a486e9bb7bbe8ffa8073b12d17c213edd06ef8832fe89f596eaed448723e0bfc
suite_result-ubuntu-22.04 Expired
2.68 MB
sha256:90dbb6a280394c5f78179ee9f7021dc71302db7a682d32197bf077b2a8654385