From f604f0b8769161e5cf4c961f4060ecc6a9fe4336 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 30 Jan 2025 20:32:33 -0500 Subject: [PATCH] fix CI --- .github/workflows/gh-pages.yml | 2 +- .github/workflows/main.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 3cf63081..6b52e798 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -14,7 +14,7 @@ jobs: # needed for depext to work - run: sudo apt-get update && sudo apt-get install mccs - - uses: ocaml/setup-ocaml@v2 + - uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: '5.1.x' dune-cache: true diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 748a8a45..a366f387 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -33,7 +33,7 @@ jobs: if: ${{ matrix.os == 'ubuntu-latest' }} - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} opam-depext-flags: --with-test