From d7ea11757b88dec2a71e8972f8e185185139dfd1 Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Mon, 21 Sep 2026 20:25:53 +0200 Subject: [PATCH] Upgrade setup-ocaml to v3.9.0 Signed-off-by: Christoph Knittel --- .github/actions/setup-ocaml/action.yml | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/.github/actions/setup-ocaml/action.yml b/.github/actions/setup-ocaml/action.yml index 97098cf74f..d47e60003c 100644 --- a/.github/actions/setup-ocaml/action.yml +++ b/.github/actions/setup-ocaml/action.yml @@ -82,9 +82,9 @@ runs: run: | dependency_flags_key="${DEPENDENCY_FLAGS//--/}" dependency_flags_key="${dependency_flags_key// /_}" - key="$CACHE_PREFIX-$OS-3.8.0-$COMPILER-$dependency_flags_key-${{ hashFiles('*.opam') }}" + key="$CACHE_PREFIX-$OS-3.9.0-$COMPILER-$dependency_flags_key-${{ hashFiles('*.opam') }}" echo "value=${key//,/-}" >> "$GITHUB_OUTPUT" - echo "setup-version=3.8.0" >> "$GITHUB_OUTPUT" + echo "setup-version=3.9.0" >> "$GITHUB_OUTPUT" - name: Restore OPAM environment id: cache @@ -101,14 +101,9 @@ runs: - name: Use OCaml ${{ inputs.compiler }} if: steps.cache.outputs.cache-hit != 'true' - uses: ocaml/setup-ocaml@v3.8.0 + uses: ocaml/setup-ocaml@v3.9.0 with: ocaml-compiler: ${{ inputs.compiler }} - # Use the HTTP repository to prevent intermittent CI setup failures: - # the Git-backed default can race with detached Git maintenance while - # OPAM scans it (https://github.com/ocaml/opam/issues/7031). - opam-repositories: | - default: https://opam.ocaml.org opam-pin: false cache: false