diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d5e9e510..d24211b5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -33,8 +33,8 @@ jobs: opam-repositories: | default: https://github.com/ocaml/opam-repository.git mbarbin: https://github.com/mbarbin/opam-repository.git -# janestreet-bleeding: https://ocaml.janestreet.com/opam-repository -# janestreet-bleeding-external: https://github.com/janestreet/opam-repository.git#external-packages +# janestreet-bleeding: https://ocaml.janestreet.com/opam-repository +# janestreet-bleeding-external: https://github.com/janestreet/opam-repository.git#external-packages - name: Install dependencies run: