From 7939bfa9e3691b7da934e38760461eaf7af49ecb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 9 Jun 2023 23:17:45 -0400 Subject: [PATCH] CI: use setup-ocaml v2 for gh-pages --- .github/workflows/gh-pages.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 3d865eb..7749145 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -18,9 +18,9 @@ jobs: path: ~/.opam key: opam-ubuntu-latest-4.12.0 - - uses: avsm/setup-ocaml@v1 + - uses: ocaml/setup-ocaml@v2 with: - ocaml-version: '4.12.0' + ocaml-compiler: '5.0.x' - name: Pin run: opam pin -n .