Skip to content

Merge pull request #4719 from ralfhandl/dev-determine-dialect #40

Merge pull request #4719 from ralfhandl/dev-determine-dialect

Merge pull request #4719 from ralfhandl/dev-determine-dialect #40

Triggered via push June 14, 2025 18:49
Status Success
Total duration 8s
Artifacts
sync-branches
5s
sync-branches
Fit to window
Zoom out
Zoom in