CI: stop relying on custom zarith pin

ocsigen · Jul 18, 2023 · 2c4b807 · 2c4b807
1 parent e2e1f3d
commit 2c4b807
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -101,7 +101,7 @@ 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
+      - run: opam pin add zarith --dev
         if: runner.os == 'Windows'
 
       - run: opam install . --best-effort