From f9c6c077c64d51da10ced188a52738fdb70250bf Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 4 Feb 2025 22:01:47 -0500 Subject: [PATCH] fix CI --- .github/workflows/gh-pages.yml | 9 +-------- .github/workflows/main.yml | 2 +- 2 files changed, 2 insertions(+), 9 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 8736cd2..c0c9039 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -11,14 +11,7 @@ jobs: steps: - uses: actions/checkout@main - - name: Cache opam - id: cache-opam - uses: actions/cache@v2 - with: - path: ~/.opam - key: opam-ubuntu-latest-4.12.0 - - - uses: ocaml/setup-ocaml@v2 + - uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: '4.14.x' allow-prerelease-opam: true diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3dca88c..8dd36fc 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -21,7 +21,7 @@ jobs: runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@v2 - - uses: ocaml/setup-ocaml@v2 + - uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} allow-prerelease-opam: true