Update coq-windows.yml

mit-plv · Nov 11, 2023 · bce9e1c · bce9e1c
1 parent a456d3b
commit bce9e1c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -58,7 +58,8 @@ jobs:
       shell: cmd
 
     - name: echo build params
-      run: %cd%\etc\ci\describe-system-config-win.bat
+      run: |
+        %cd%\etc\ci\describe-system-config-win.bat
       shell: cmd
     - name: deps
       run: |