Skip to content

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

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

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

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