Skip to content

Merge pull request #3288 from softins/embed-translations #898

Merge pull request #3288 from softins/embed-translations

Merge pull request #3288 from softins/embed-translations #898

Triggered via push June 22, 2024 20:35
Status Success
Total duration 11s
Artifacts
check-and-update-copyright-notices
4s
check-and-update-copyright-notices
delete-old-pr-branch
0s
delete-old-pr-branch
Fit to window
Zoom out
Zoom in