diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-18 02:37:50 +0100 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-18 02:37:50 +0100 |
commit | 0b8dfaeb32881f821f025c5151130e4df68de5c6 (patch) | |
tree | 18db9ff50d7eec37bd25563320c0783fde95bc55 /.github/workflows | |
parent | 38ae02dc47f78dbe6a910e172a7d4edacee6545e (diff) |
GitHub Actions: Improve ccache caching on Ubuntu
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/build.yml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 94ca4f9e38..5d40f44e05 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -62,12 +62,15 @@ jobs: string(TIMESTAMP current_date "%Y-%m-%d-%H;%M;%S" UTC) message("::set-output name=timestamp::${current_date}") - name: Set up ccache cache - uses: actions/cache@v1.1.0 + uses: actions/cache@v2 + env: + cache-name: ccache with: path: .cache/ccache - key: ${{ github.job }}-ccache-${{ steps.ccache_cache_timestamp.outputs.timestamp }} + key: ${{ env.cache-name }}-${{ runner.os }}-${{ github.head_ref }}-${{ github.run_number }} restore-keys: | - ${{ github.job }}-ccache- + ${{ env.cache-name }}-${{ runner.os }}-${{ github.head_ref }} + ${{ env.cache-name }}-${{ runner.os }} - name: Configure # TODO for Ubuntu Focal: Replace "-DFAAD=ON" with "-DFFMPEG=ON" run: | |