Skip to content

Merge pull request #740 from dennis531/tooltip-covering #124

Merge pull request #740 from dennis531/tooltip-covering

Merge pull request #740 from dennis531/tooltip-covering #124

Triggered via push June 25, 2024 16:56
Status Success
Total duration 20s
Artifacts
deploy-translation-keys
10s
deploy-translation-keys
Fit to window
Zoom out
Zoom in