Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/workflows/bsd.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ jobs:
with:
submodules: recursive
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -79,7 +79,7 @@ jobs:
with:
submodules: recursive
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -141,7 +141,7 @@ jobs:
with:
submodules: recursive
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/build-and-test-Linux.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:
sudo apt-get install --no-install-recommends -y gawk jq

- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/build-and-test-Xen.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ jobs:
sudo apt-get install --no-install-recommends -y libgtk2.0-dev libyajl-dev time ccache clang-19 clang++-19

- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/coverage.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/csmith.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ jobs:
sudo apt-get install --no-install-recommends -y csmith libcsmith-dev
make -C src minisat2-download
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/performance.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ jobs:
sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison ccache

- name: Prepare ccache
uses: actions/cache/restore@v4
uses: actions/cache/restore@v5
with:
path: .ccache
key: ${{ runner.os }}-24.04-Release-${{ github.ref }}-${{ github.sha }}-PR
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/pull-request-check-rust-api.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:
- name: Log cargo/rust version
run: cargo --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -80,7 +80,7 @@ jobs:
- name: Log cargo/rust version
run: cargo --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down
32 changes: 16 additions & 16 deletions .github/workflows/pull-request-checks.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -121,7 +121,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -187,7 +187,7 @@ jobs:
- name: Confirm z3 solver is available and log the version installed
run: z3 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -232,7 +232,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -304,7 +304,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -371,7 +371,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -431,7 +431,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -478,7 +478,7 @@ jobs:
rm cvc5-Linux-arm64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -532,7 +532,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -571,7 +571,7 @@ 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@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -618,7 +618,7 @@ 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@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -662,7 +662,7 @@ jobs:
rm cvc5-macOS-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -716,7 +716,7 @@ jobs:
rm cvc5-macOS-arm64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -776,7 +776,7 @@ jobs:
- name: Confirm cvc5 solver is available and log the version installed
run: cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -841,7 +841,7 @@ jobs:
- name: Initialise Developer Command Line
uses: ilammy/msvc-dev-cmd@v1
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -903,7 +903,7 @@ 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@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/release-packages.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -98,7 +98,7 @@ jobs:
rm cvc5-Linux-arm64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -169,7 +169,7 @@ jobs:
rm cvc5-Linux-x86_64-static.zip
cvc5 --version
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down Expand Up @@ -271,7 +271,7 @@ jobs:
dotnet tool install --global AzureSignTool --version 5.0.0
echo "$(Split-Path -Path $(Get-ChildItem -Path "${env:ProgramFiles(x86)}\Windows Kits\10\App Certification Kit\signtool.exe"))" >> $env:GITHUB_PATH
- name: Prepare ccache
uses: actions/cache@v4
uses: actions/cache@v5
with:
save-always: true
path: .ccache
Expand Down
Loading