From 9da37ad4fb49f7161a4b158f018085e245f66c43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edwin=20T=C3=B6r=C3=B6k?= Date: Mon, 5 Aug 2024 13:48:53 +0100 Subject: [PATCH] CI: avoid mixing caches from different OSes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This is a bug in setup-ocaml@v3 https://github.com/ocaml/setup-ocaml/issues/839 Work it around by defining our own cache prefix key as suggested in EXAMPLES.md Signed-off-by: Edwin Török --- .github/workflows/setup-xapi-environment/action.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/setup-xapi-environment/action.yml b/.github/workflows/setup-xapi-environment/action.yml index 72700599cf2..6f97e81202b 100644 --- a/.github/workflows/setup-xapi-environment/action.yml +++ b/.github/workflows/setup-xapi-environment/action.yml @@ -23,6 +23,11 @@ runs: id: dotenv uses: falti/dotenv-action@v1 + - name: Load environment file + id: dotenv + uses: falti/dotenv-action@v1 + path: /etc/os-release + - name: Update Ubuntu repositories shell: bash run: sudo apt-get update @@ -52,6 +57,7 @@ runs: xs-opam: ${{ steps.dotenv.outputs.repository }} dune-cache: true opam-pin: false + cache-prefix: v3-${{ ID }}-${{ VERSION_ID }} env: DUNE_CACHE_STORAGE_MODE: copy