Skip to content

Fix Windows CI: use py launcher and shell: bash#3

Merged
ZigaSajovic merged 1 commit intomainfrom
develop
Jan 26, 2026
Merged

Fix Windows CI: use py launcher and shell: bash#3
ZigaSajovic merged 1 commit intomainfrom
develop

Commits

Commits on Jan 26, 2026