diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index ac9e426169e..0f50937a88b 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -24,7 +24,7 @@ jobs: run: | git clone https://git.sr.ht/~jonsterling/ocaml-forester cd ocaml-forester - git checkout forester-5.0-dev + git checkout 66bba7109d0bb7315c4e5ed503e6945830b7c0d6 opam pin add -y . - name: Setup TeX Live