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'