Skip to content

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

Merged
ZigaSajovic merged 1 commit into
mainfrom
develop
Jan 26, 2026
Merged

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

Commits

Commits on Jan 26, 2026