_

Signed-off-by: Sora Morimoto <[email protected]>
ocsigen · Jun 20, 2024 · dbae0c1 · dbae0c1
1 parent 28e70b5
commit dbae0c1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -83,7 +83,8 @@ jobs:
           allow-prerelease-opam: true
           dune-cache: true
           opam-repositories: |
-            default: https://github.com/hhugo/opam-repository.git#gmp-mingw
+            default: git+https://github.com/ocaml/opam-repository.git
+            hhugo: git+https://github.com/hhugo/opam-repository.git#gmp-mingw
 
       - run: opam install . --best-effort
         if: ${{ matrix.skip-test }}