From 8057cdeefdd0de6321e8342c5fb81b9a88f54808 Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Fri, 8 Dec 2023 16:04:26 +0100 Subject: [PATCH] Don't use (yet) the last version of Esperanto --- .github/workflows/esperanto.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/esperanto.yml b/.github/workflows/esperanto.yml index 0217173..51977f1 100644 --- a/.github/workflows/esperanto.yml +++ b/.github/workflows/esperanto.yml @@ -17,7 +17,7 @@ jobs: run: sudo sh -c "echo ':APE:M::MZqFpD::/bin/sh:' >/proc/sys/fs/binfmt_misc/register" - name: Pin & Install workflows run: | - opam pin add git+https://github.com/dinosaure/esperanto.git + opam install esperanto.0.0.4 opam install ocamlfind opam-monorepo opam repo add upstream git+https://github.com/ocaml/opam-repository.git opam repo add dune-universe git+https://github.com/dune-universe/opam-overlays.git