Skip to content

Merge branch 'release/3_12_1' #1222

Merge branch 'release/3_12_1'

Merge branch 'release/3_12_1' #1222

Triggered via push May 17, 2026 09:20
Status Success
Total duration 10s
Artifacts –
check-and-update-copyright-notices
7s
check-and-update-copyright-notices
delete-old-pr-branch
delete-old-pr-branch
Fit to window
Zoom out
Zoom in