Skip to content

Merge pull request #3650 from jose1711/sk_translation #1190

Merge pull request #3650 from jose1711/sk_translation

Merge pull request #3650 from jose1711/sk_translation #1190

Triggered via push April 13, 2026 14:12
Status Success
Total duration 13s
Artifacts
check-and-update-copyright-notices
7s
check-and-update-copyright-notices
delete-old-pr-branch
0s
delete-old-pr-branch
Fit to window
Zoom out
Zoom in