Skip to content

Merge branch 'master' into issue_1535 #12417

Merge branch 'master' into issue_1535

Merge branch 'master' into issue_1535 #12417

Triggered via push December 19, 2024 09:42
Status Success
Total duration 45m 35s
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:7d48fb74667d5df60bd78144730209fa0214f30453c0be146a022430e78df30c
suite_result-ubuntu-22.04 Expired
2.68 MB
sha256:a9673cd252372a62002e872ed0f4878ac4b7e1d4366b0bd15b1ab9639715459b