Don't use (yet) the last version of Esperanto

dinosaure · Dec 8, 2023 · 8057cde · 8057cde
1 parent f91894a
commit 8057cde
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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