From 8c4869632cffc6ac98268ab2011fa9021537659f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=96zg=C3=BCr=20Akg=C3=BCn?= Date: Mon, 26 Feb 2024 12:06:11 +0000 Subject: [PATCH] Use sccache-action@v0.0.4 for gh-actions caching --- .github/workflows/build.yml | 11 ++++++----- .github/workflows/release.yml | 13 ++++++------- .github/workflows/solvers.yml | 11 +++++------ .github/workflows/test-coverage.yml | 11 ++++++----- .github/workflows/test.yml | 11 ++++++----- 5 files changed, 29 insertions(+), 28 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 269c14917..32800a6e1 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -22,6 +22,9 @@ on: - .github/workflows/build.yml # other branches that want testing must create a PR +env: + SCCACHE_GHA_ENABLED: "true" + jobs: Job: @@ -51,11 +54,9 @@ jobs: key: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }}-${{ github.event.repository.updated_at }} restore-keys: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }} - - name: ccache - uses: hendrikmuhs/ccache-action@v1.2 - with: - key: ${{ runner.os }} - + - name: Run sccache-cache + uses: mozilla-actions/sccache-action@v0.0.4 + - name: Setting PATH shell: bash run: echo "${HOME}/.local/bin" >> ${GITHUB_PATH} diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index eddc40b0b..776414e7f 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -19,6 +19,9 @@ on: permissions: contents: write +env: + SCCACHE_GHA_ENABLED: "true" + jobs: Job: @@ -53,11 +56,9 @@ jobs: key: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }}-${{ github.event.repository.updated_at }} restore-keys: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }} - - name: ccache - uses: hendrikmuhs/ccache-action@v1.2 - with: - key: ${{ runner.os }} - + - name: Run sccache-cache + uses: mozilla-actions/sccache-action@v0.0.4 + - name: Setting PATH shell: bash run: echo "${HOME}/.local/bin" >> ${GITHUB_PATH} @@ -70,8 +71,6 @@ jobs: shell: bash run: | echo "${HOME}/solver-binaries" >> ${GITHUB_PATH} - echo "/usr/lib/ccache" >> ${GITHUB_PATH} - echo "/usr/local/opt/ccache/libexec" >> ${GITHUB_PATH} - name: Installing dependencies (gperf) on Linux shell: bash diff --git a/.github/workflows/solvers.yml b/.github/workflows/solvers.yml index 755e93d68..799918c48 100644 --- a/.github/workflows/solvers.yml +++ b/.github/workflows/solvers.yml @@ -20,6 +20,9 @@ on: - .github/workflows/solvers.yml # other branches that want testing must create a PR +env: + SCCACHE_GHA_ENABLED: "true" + jobs: Job: @@ -36,17 +39,13 @@ jobs: - uses: actions/checkout@v3 name: Checkout repository - - name: ccache - uses: hendrikmuhs/ccache-action@v1.2 - with: - key: ${{ runner.os }} + - name: Run sccache-cache + uses: mozilla-actions/sccache-action@v0.0.4 - name: Setting PATH shell: bash run: | echo "${HOME}/.local/bin" >> ${GITHUB_PATH} - echo "/usr/lib/ccache" >> ${GITHUB_PATH} - echo "/usr/local/opt/ccache/libexec" >> ${GITHUB_PATH} - name: Installing dependencies (gperf) on Linux shell: bash diff --git a/.github/workflows/test-coverage.yml b/.github/workflows/test-coverage.yml index 2b2257600..6d2d47daa 100644 --- a/.github/workflows/test-coverage.yml +++ b/.github/workflows/test-coverage.yml @@ -14,6 +14,9 @@ on: - etc/savilerow/** - .github/workflows/test-coverage.yml +env: + SCCACHE_GHA_ENABLED: "true" + jobs: Job: @@ -42,11 +45,9 @@ jobs: key: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }}-${{ github.event.repository.updated_at }} restore-keys: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }} - - name: ccache - uses: hendrikmuhs/ccache-action@v1.2 - with: - key: ${{ runner.os }} - + - name: Run sccache-cache + uses: mozilla-actions/sccache-action@v0.0.4 + - name: Setting PATH shell: bash run: echo "${HOME}/.local/bin" >> ${GITHUB_PATH} diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index e1c5a5a36..5915c794a 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -27,6 +27,9 @@ on: - .github/workflows/test.yml # other branches that want testing must create a PR +env: + SCCACHE_GHA_ENABLED: "true" + jobs: Job: @@ -55,11 +58,9 @@ jobs: key: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }}-${{ github.event.repository.updated_at }} restore-keys: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }} - - name: ccache - uses: hendrikmuhs/ccache-action@v1.2 - with: - key: ${{ runner.os }} - + - name: Run sccache-cache + uses: mozilla-actions/sccache-action@v0.0.4 + - name: Setting PATH shell: bash run: echo "${HOME}/.local/bin" >> ${GITHUB_PATH}