Try pinning to 4.3.1 instead of git

utensil · Nov 20, 2024 · 71e9d16 · 71e9d16
1 parent 9f3a6e8
commit 71e9d16
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -84,8 +84,9 @@ jobs:
       - name: Install forester
         run: |
           sudo apt-get install libev-dev
-          opam pin add forester git+https://git.sr.ht/~jonsterling/ocaml-forester#56de06afe952d752c1a13fdcd8bb56c5fef9956f --yes
-          opam install forester --yes
+          # opam pin add forester git+https://git.sr.ht/~jonsterling/ocaml-forester#56de06afe952d752c1a13fdcd8bb56c5fef9956f --yes
+          # opam install forester --yes
+          opam install forester.4.3.1 --yes
       # https://github.com/astral-sh/setup-uv
       - name: Setup Python via uv
         uses: astral-sh/setup-uv@v3