Update coq-windows.yml

mit-plv · Feb 5, 2025 · 6c0fcd2 · 6c0fcd2
1 parent eff6184
commit 6c0fcd2
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -44,17 +44,10 @@ jobs:
       uses: ocaml/setup-ocaml@v3
       with:
         ocaml-compiler: 4.13.1
-    - name: aggregate timing files for upload
-      run: |
-        $files = Get-ChildItem -Path . -Filter "*.timing" -Recurse
-        $files | ForEach-Object { Write-Output "Adding: $_" }
-        $files | Compress-Archive -DestinationPath timing-files.zip -Force
-      shell: pwsh
-    - run: opam pin add 'ocamlfind>=1.9.7'
-    - run: exit 1
+    - run: opam install conf-time conf-gcc
+    - run: opam install 'ocamlfind>=1.9.7'
     - run: opam pin add --kind=version coq ${{ env.COQ_VERSION }}
     - run: opam install js_of_ocaml
-    - run: opam install conf-time conf-gcc
     - name: Work around https://github.com/actions/checkout/issues/766
       run: opam exec -- bash -l -c 'git config --global --add safe.directory "*"'
     - name: echo build params