From eb0b23ab86925ed5d7c3d64d98bca8485656030c Mon Sep 17 00:00:00 2001 From: CAIMEOX <38813005+CAIMEOX@users.noreply.github.com> Date: Tue, 28 Jan 2025 22:48:26 +0800 Subject: [PATCH] fix: update ocaml version --- .github/workflows/publish.yml | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 666bdeaf..b4d58aea 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -23,6 +23,19 @@ jobs: submodules: recursive fetch-depth: 1 + - name: "Set-up OCaml" + uses: ocaml/setup-ocaml@v2 + with: + ocaml-compiler: "5.2.0" + + - name: Install Forester + run: | + sudo apt install libev-dev + opam install -y forester=4.3.1 + # git clone https://git.sr.ht/~jonsterling/ocaml-forester + # cd ocaml-forester + # opam pin add -y . --locked + - name: "Setup TeX Live" uses: teatimeguest/setup-texlive-action@v3 with: @@ -51,19 +64,6 @@ jobs: - name: "Check `tlmgr` version" run: tlmgr --version - - name: "Set-up OCaml" - uses: ocaml/setup-ocaml@v2 - with: - ocaml-compiler: "5.1" - - - name: Install Forester - run: | - sudo apt install libev-dev - opam install -y forester - # git clone https://git.sr.ht/~jonsterling/ocaml-forester - # cd ocaml-forester - # opam pin add -y . --locked - - name: "Build forest" run: make release