From 123b5d564fe3347806d51a27cdeab25031ee0e35 Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Sun, 12 May 2024 16:31:02 +0200 Subject: [PATCH] Update janestreet-bleeding url --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 53d2378..581b7a3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -27,7 +27,7 @@ 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: https://github.com/janestreet/opam-repository.git # janestreet-bleeding-external: https://github.com/janestreet/opam-repository.git#external-packages - name: Install dependencies