Skip to content

Merge branch 'master' into traces-vojdani #12446

Merge branch 'master' into traces-vojdani

Merge branch 'master' into traces-vojdani #12446

Triggered via push December 20, 2024 09:38
Status Success
Total duration 35m 17s
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.74 MB
sha256:a45a640bd5b95659785100d39c9c4f23c238dc6c310ddad7aa0cf6ef48bd7c73
suite_result-ubuntu-22.04 Expired
2.69 MB
sha256:1507dd589efd77a22974ab826f597b3c3d8a04f8b133289bf54dfce2c8fedfa9