From 470786a38d2f2f3e8c2e8a40afc2fe944bf0257f Mon Sep 17 00:00:00 2001 From: David Sancho Moreno Date: Wed, 21 Oct 2026 10:11:31 +0000 Subject: [PATCH] Use gh-ci-action v1.1.0 and save the dune cache only on success --- .github/workflows/ci.yml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7d4f327..bdfcbbf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -61,7 +61,7 @@ jobs: } >> "$GITHUB_OUTPUT" - name: Setup OCaml and dependencies - uses: ml-in-barcelona/gh-ci-action@v1.0.0 + uses: ml-in-barcelona/gh-ci-action@v1.1.0 with: ocaml-compiler: ${{ env.OCAML_COMPILER }} pins: ${{ steps.pins.outputs.list }} @@ -69,7 +69,7 @@ jobs: with-dev-setup: true - name: Load dune cache - uses: ml-in-barcelona/gh-ci-action/dune-cache/load@v1.0.0 + uses: ml-in-barcelona/gh-ci-action/dune-cache/load@v1.1.0 - name: Install npm deps run: make npm-install @@ -81,8 +81,7 @@ jobs: run: make test - name: Save dune cache - if: ${{ !cancelled() }} - uses: ml-in-barcelona/gh-ci-action/dune-cache/save@v1.0.0 + uses: ml-in-barcelona/gh-ci-action/dune-cache/save@v1.1.0 - name: Install benchmark tools if: matrix.os == 'ubuntu-latest'