Skip to content

Commit

Permalink
Merge pull request diffblue#8164 from diffblue/dependabot/github_acti…
Browse files Browse the repository at this point in the history
…ons/actions/cache-4

Bump actions/cache from 3 to 4
  • Loading branch information
tautschnig authored Jan 22, 2024
2 parents 9220c3a + 5d80c9b commit 1d8bddd
Show file tree
Hide file tree
Showing 7 changed files with 54 additions and 27 deletions.
9 changes: 6 additions & 3 deletions .github/workflows/bsd.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,9 @@ jobs:
with:
submodules: recursive
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: freebsd-13.2-gmake-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -75,8 +76,9 @@ jobs:
with:
submodules: recursive
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: openbsd-7.4-gmake-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -136,8 +138,9 @@ jobs:
with:
submodules: recursive
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: netbsd-9.3-gmake-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down
3 changes: 2 additions & 1 deletion .github/workflows/build-and-test-Linux.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,9 @@ jobs:
sudo apt-get install --no-install-recommends -y gawk jq
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-KERNEL
restore-keys: |
Expand Down
3 changes: 2 additions & 1 deletion .github/workflows/build-and-test-Xen.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,9 @@ jobs:
sudo apt-get install --no-install-recommends -y libgtk2.0-dev libyajl-dev time ccache clang-10 clang++-10
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-XEN
restore-keys: |
Expand Down
3 changes: 2 additions & 1 deletion .github/workflows/csmith.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -23,8 +23,9 @@ jobs:
sudo apt-get install --no-install-recommends -y csmith libcsmith-dev
make -C src minisat2-download
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-CSMITH
restore-keys: |
Expand Down
6 changes: 4 additions & 2 deletions .github/workflows/pull-request-check-rust-api.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -33,8 +33,9 @@ jobs:
- name: Log cargo/rust version
run: cargo --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-22.04-cmake-clang-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -79,8 +80,9 @@ jobs:
- name: Log cargo/rust version
run: cargo --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-Release-Minisat-${{ github.ref }}-${{ github.sha }}-PR-Rust-API
restore-keys: |
Expand Down
48 changes: 32 additions & 16 deletions .github/workflows/pull-request-checks.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -32,8 +32,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -117,8 +118,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -181,8 +183,9 @@ jobs:
- name: Confirm z3 solver is available and log the version installed
run: z3 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -225,8 +228,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -296,8 +300,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-22.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -361,8 +366,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-22.04-Release-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -420,8 +426,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-22.04-Release-gcc-13-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -466,8 +473,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-22.04-Release-32-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -504,8 +512,9 @@ jobs:
sudo apt-get update
sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -550,8 +559,9 @@ jobs:
sudo apt-get update
sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -590,8 +600,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-make-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -641,8 +652,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-Release-Glucose-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -698,8 +710,9 @@ jobs:
- name: Confirm cvc5 solver is available and log the version installed
run: cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -756,8 +769,9 @@ jobs:
- name: Initialise Developer Command Line
uses: ilammy/msvc-dev-cmd@v1
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-msbuild-make-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down Expand Up @@ -811,8 +825,9 @@ jobs:
nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PKG
restore-keys: |
Expand Down Expand Up @@ -928,8 +943,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-Coverage-${{ github.ref }}-${{ github.sha }}-PR
restore-keys: |
Expand Down
9 changes: 6 additions & 3 deletions .github/workflows/release-packages.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-22.04-Release-${{ github.ref }}-${{ github.sha }}-RELEASEPKG
restore-keys:
Expand Down Expand Up @@ -97,8 +98,9 @@ jobs:
mv cvc5 /usr/local/bin
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-RELEASEPKG
restore-keys: |
Expand Down Expand Up @@ -199,8 +201,9 @@ jobs:
echo "$(Split-Path -Path $(Get-ChildItem -Path "${env:ProgramFiles(x86)}\Windows Kits\10\App Certification Kit\signtool.exe"))" >> $env:GITHUB_PATH
echo "pfxcert=$([string](Get-Location)+'\CodeSignCertificate.pfx')" >> $env:GITHUB_ENV
- name: Prepare ccache
uses: actions/cache@v3
uses: actions/cache@v4
with:
save-always: true
path: .ccache
key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-RELEASEPKG
restore-keys: |
Expand Down

0 comments on commit 1d8bddd

Please sign in to comment.