CI: stop relying on custom zarith pin (#1490)

ocsigen · Jul 21, 2023 · d276707 · d276707
1 parent fa95589
commit d276707
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -88,7 +88,7 @@ jobs:
             dra27: https://github.com/dra27/opam-repository.git#windows-5.0
             default: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset
             opam: https://github.com/ocaml/opam-repository.git
-          dune-cache: true
+          dune-cache: false
           opam-depext: ${{ !matrix.skip-test }}
           opam-depext-flags: --with-test
 
@@ -101,9 +101,6 @@ jobs:
           opam-depext: ${{ !matrix.skip-test }}
           opam-depext-flags: --with-test
 
-      - run: opam pin add zarith git+https://github.com/hhugo/Zarith.git#win-fix
-        if: runner.os == 'Windows'
-
       - run: opam install . --best-effort
         if: ${{ matrix.skip-test }}