Skip to content

Commit 8672a18

Browse files
authored
pin upstream ocamlfind
1 parent 5182fd6 commit 8672a18

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/coq-windows.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ jobs:
4444
uses: ocaml/setup-ocaml@v3
4545
with:
4646
ocaml-compiler: 4.13.1
47-
- run: opam pin add ocamlfind 'git+https://github.com/JasonGross/ocamlfind.git#win32-fix'
47+
- run: opam pin add ocamlfind 'git+https://github.com/ocaml/ocamlfind.git#master'
4848
- run: opam pin add --kind=version coq ${{ env.COQ_VERSION }}
4949
- run: opam install js_of_ocaml
5050
- run: opam install conf-time

0 commit comments

Comments
 (0)