CI: Use a custom ccache directory in GitHub CI

This ensures that updates to ccache that change the default cache
directory do not break out github ccache cache.
This commit is contained in:
Idan Horowitz 2022-07-02 18:31:17 +03:00
parent 1ebc5af2f0
commit c8d1c263d6

View file

@ -7,6 +7,7 @@ env:
# runner.workspace = /home/runner/work/serenity
# github.workspace = /home/runner/work/serenity/serenity
SERENITY_SOURCE_DIR: ${{ github.workspace }}
CCACHE_DIR: ${{ github.workspace }}/.ccache
concurrency:
group: ${{ github.head_ref || format('{0}-{1}', github.ref, github.run_number) }}
@ -95,7 +96,7 @@ jobs:
env:
CACHE_SKIP_SAVE: ${{ github.event_name == 'pull_request' }}
with:
path: /home/runner/.ccache
path: ${{ github.workspace }}/.ccache
# If you're here because ccache broke (it never should), increment matrix.ccache-mark.
# We want to always reuse the last cache, but upload a new one.
# This is achieved by using the "prefix-timestamp" format,