File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -192,7 +192,7 @@ jobs:
192
192
opam-repositories : |
193
193
local: ${{ github.workspace }}\.github\opam\custom
194
194
dra27: https://github.com/dra27/opam-repository.git#windows-5.0
195
- override: https://github.com/jmid /custom-opam-repository.git#add-510rc1
195
+ override: https://github.com/shym /custom-opam-repository.git
196
196
default: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset
197
197
upstream: https://github.com/ocaml/opam-repository.git
198
198
opam-depext : false
@@ -243,7 +243,7 @@ jobs:
243
243
opam init --disable-sandboxing --auto-setup --bare
244
244
opam repository add --all main "https://github.com/ocaml/opam-repository.git"
245
245
opam repository add --all windows "https://github.com/ocaml-opam/opam-repository-mingw.git#sunset"
246
- opam repository add --all override "https://github.com/jmid /custom-opam-repository.git#add-510rc1 "
246
+ opam repository add --all override "https://github.com/shym /custom-opam-repository.git"
247
247
opam repository add --all dra27 "https://github.com/dra27/opam-repository.git#windows-5.0"
248
248
opam repository add --all local "./.github/opam/custom/"
249
249
opam switch create default --repositories=dra27,override,windows,main --packages "${env:COMPILER}"
You can’t perform that action at this time.
0 commit comments