Skip to content

Merge pull request #5352 from opengisch/variable-editor-polish #11596

Merge pull request #5352 from opengisch/variable-editor-polish

Merge pull request #5352 from opengisch/variable-editor-polish #11596

Triggered via push June 20, 2024 14:11
Status Success
Total duration 1m 28s
Artifacts

pre-commit.yml

on: push
pre-commit
19s
pre-commit
Fit to window
Zoom out
Zoom in