Try to specify shell: it appears that GitHub actions switched default shell from cmd.exe to PowerShell without any prior notice :-/
@@ -28,5 +28,5 @@ jobs:
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GIT_PULL_TOKEN: ${{ secrets.GIT_PULL_TOKEN }}
- run: |
- $GITHUB_WORKSPACE\\build-tests.cmd ${{ matrix.arch }} ${{ matrix.config }}
+ shell: cmd
+ run: build-tests.cmd ${{ matrix.arch }} ${{ matrix.config }}
