run one Windows build with cmd shell

2026-10-14 11:08:58 +02:00
1 parent 556f78c6a0
commit 3146ae5742
@@ -175,10 +175,11 @@ jobs:

          # Windows builds

-          - name: "Win-22 MSC-22"
+          - name: "Win-22 MSC-22 (cmd shell)"
            os: windows-2022
            cmp: vs2022
            configuration: default
+            extra: "SHELL=cmd"

          - name: "Win-22 MSC-22, static"
            os: windows-2022