From 357db5c5bb7f4ca57f2b881b79f42bbd1c83312f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 13 Jan 2025 13:27:44 -0500 Subject: [PATCH] CI --- .github/workflows/gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 35a149d..7ff8be9 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -13,7 +13,7 @@ jobs: - uses: actions/checkout@main - name: Use OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: '5.1.x' allow-prerelease-opam: true