Skip to content

Commit 88f8437

Browse files
tautschnigtautschnig
committed
Upgrade GitHub cache action to v3
This avoids using deprecated node.js version 12.
1 parent bf18c17 commit 88f8437

File tree

5 files changed

+20
-20
lines changed

5 files changed

+20
-20
lines changed

‎.github/workflows/build-and-test-Linux.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ jobs:
2424
sudo apt-get install --no-install-recommends -y gawk jq
2525
2626
- name: Prepare ccache
27-
uses: actions/cache@v2
27+
uses: actions/cache@v3
2828
with:
2929
path: .ccache
3030
key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-KERNEL

‎.github/workflows/build-and-test-Xen.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ jobs:
2323
sudo apt-get install --no-install-recommends -y libgtk2.0-dev libyajl-dev time ccache
2424
2525
- name: Prepare ccache
26-
uses: actions/cache@v2
26+
uses: actions/cache@v3
2727
with:
2828
path: .ccache
2929
key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-XEN

‎.github/workflows/csmith.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ jobs:
2121
sudo apt-get install --no-install-recommends -y csmith libcsmith-dev
2222
make -C src minisat2-download
2323
- name: Prepare ccache
24-
uses: actions/cache@v2
24+
uses: actions/cache@v3
2525
with:
2626
path: .ccache
2727
key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-CSMITH

‎.github/workflows/pull-request-checks.yaml‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ jobs:
2929
mv cvc5 /usr/local/bin
3030
cvc5 --version
3131
- name: Prepare ccache
32-
uses: actions/cache@v2
32+
uses: actions/cache@v3
3333
with:
3434
path: .ccache
3535
key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-PR
@@ -99,7 +99,7 @@ jobs:
9999
mv cvc5 /usr/local/bin
100100
cvc5 --version
101101
- name: Prepare ccache
102-
uses: actions/cache@v2
102+
uses: actions/cache@v3
103103
with:
104104
path: .ccache
105105
key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
@@ -168,7 +168,7 @@ jobs:
168168
mv cvc5 /usr/local/bin
169169
cvc5 --version
170170
- name: Prepare ccache
171-
uses: actions/cache@v2
171+
uses: actions/cache@v3
172172
with:
173173
path: .ccache
174174
key: ${{ runner.os }}-20.04-make-clang-smt-z3-${{ github.ref }}-${{ github.sha }}-PR
@@ -209,7 +209,7 @@ jobs:
209209
mv cvc5 /usr/local/bin
210210
cvc5 --version
211211
- name: Prepare ccache
212-
uses: actions/cache@v2
212+
uses: actions/cache@v3
213213
with:
214214
path: .ccache
215215
key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
@@ -268,7 +268,7 @@ jobs:
268268
mv cvc5 /usr/local/bin
269269
cvc5 --version
270270
- name: Prepare ccache
271-
uses: actions/cache@v2
271+
uses: actions/cache@v3
272272
with:
273273
path: .ccache
274274
key: ${{ runner.os }}-22.04-Release-${{ github.ref }}-${{ github.sha }}-PR
@@ -317,7 +317,7 @@ jobs:
317317
sudo apt-get update
318318
sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
319319
- name: Prepare ccache
320-
uses: actions/cache@v2
320+
uses: actions/cache@v3
321321
with:
322322
path: .ccache
323323
key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
@@ -364,7 +364,7 @@ jobs:
364364
sudo apt-get update
365365
sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
366366
- name: Prepare ccache
367-
uses: actions/cache@v2
367+
uses: actions/cache@v3
368368
with:
369369
path: .ccache
370370
key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
@@ -403,7 +403,7 @@ jobs:
403403
mv cvc5 /usr/local/bin
404404
cvc5 --version
405405
- name: Prepare ccache
406-
uses: actions/cache@v2
406+
uses: actions/cache@v3
407407
with:
408408
path: .ccache
409409
key: ${{ runner.os }}-make-${{ github.ref }}-${{ github.sha }}-PR
@@ -453,7 +453,7 @@ jobs:
453453
mv cvc5 /usr/local/bin
454454
cvc5 --version
455455
- name: Prepare ccache
456-
uses: actions/cache@v2
456+
uses: actions/cache@v3
457457
with:
458458
path: .ccache
459459
key: ${{ runner.os }}-Release-${{ github.ref }}-${{ github.sha }}-PR
@@ -507,7 +507,7 @@ jobs:
507507
- name: Setup Visual Studio environment
508508
uses: microsoft/setup-msbuild@v1.0.2
509509
- name: Prepare ccache
510-
uses: actions/cache@v2
510+
uses: actions/cache@v3
511511
with:
512512
path: .ccache
513513
key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PR
@@ -563,7 +563,7 @@ jobs:
563563
- name: Initialise Developer Command Line
564564
uses: ilammy/msvc-dev-cmd@v1
565565
- name: Prepare ccache
566-
uses: actions/cache@v2
566+
uses: actions/cache@v3
567567
with:
568568
path: .ccache
569569
key: ${{ runner.os }}-msbuild-make-${{ github.ref }}-${{ github.sha }}-PR
@@ -658,7 +658,7 @@ jobs:
658658
- name: Setup Visual Studio environment
659659
uses: microsoft/setup-msbuild@v1.0.2
660660
- name: Prepare ccache
661-
uses: actions/cache@v2
661+
uses: actions/cache@v3
662662
with:
663663
path: .ccache
664664
key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PKG
@@ -721,7 +721,7 @@ jobs:
721721
mv cvc5 /usr/local/bin
722722
cvc5 --version
723723
- name: Prepare ccache
724-
uses: actions/cache@v2
724+
uses: actions/cache@v3
725725
with:
726726
path: .ccache
727727
key: ${{ runner.os }}-18.04-Release-${{ github.ref }}-${{ github.sha }}-PR
@@ -811,7 +811,7 @@ jobs:
811811
mv cvc5 /usr/local/bin
812812
cvc5 --version
813813
- name: Prepare ccache
814-
uses: actions/cache@v2
814+
uses: actions/cache@v3
815815
with:
816816
path: .ccache
817817
key: ${{ runner.os }}-20.04-Coverage-${{ github.ref }}-${{ github.sha }}-PR

‎.github/workflows/release-packages.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ jobs:
2727
mv cvc5 /usr/local/bin
2828
cvc5 --version
2929
- name: Prepare ccache
30-
uses: actions/cache@v2
30+
uses: actions/cache@v3
3131
with:
3232
path: .ccache
3333
key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-RELEASEPKG
@@ -115,7 +115,7 @@ jobs:
115115
mv cvc5 /usr/local/bin
116116
cvc5 --version
117117
- name: Prepare ccache
118-
uses: actions/cache@v2
118+
uses: actions/cache@v3
119119
with:
120120
path: .ccache
121121
key: ${{ runner.os }}-18.04-Release-${{ github.ref }}-${{ github.sha }}-RELEASEPKG
@@ -225,7 +225,7 @@ jobs:
225225
echo "$(Split-Path -Path $(Get-ChildItem -Path "${env:ProgramFiles(x86)}\Windows Kits\10\App Certification Kit\signtool.exe"))" >> $env:GITHUB_PATH
226226
echo "pfxcert=$([string](Get-Location)+'\CodeSignCertificate.pfx')" >> $env:GITHUB_ENV
227227
- name: Prepare ccache
228-
uses: actions/cache@v2
228+
uses: actions/cache@v3
229229
with:
230230
path: .ccache
231231
key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-RELEASEPKG

0 commit comments

Comments
 (0)