diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
index 461d3d7608..bc543873d2 100644
--- 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