Update coq-windows.yml

mit-plv · Apr 16, 2024 · 4a43455 · 4a43455
1 parent 461e45a
commit 4a43455
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -63,8 +63,8 @@ jobs:
 
     - name: echo build params
       run: |
-        %cd%\etc\ci\describe-system-config-win.bat
-      shell: cmd
+        .\etc\ci\describe-system-config-win.ps1
+      shell: pwsh
     - name: deps
       run: |
         %CYGWIN_ROOT%\bin\bash.exe -l -c 'cd "%cd%"; opam exec -- etc/ci/github-actions-make.sh -j${NJOBS} deps'