From 2bbb4ee638aedc2a94be88b8c98520d9ce200fa7 Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Sun, 3 Mar 2024 22:05:32 +0100 Subject: [PATCH] Fmt opam-repositories in CI and add mbarbin if missing --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1a4773b..c3d971e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -27,8 +27,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: