|
29 | 29 | mv cvc5 /usr/local/bin
|
30 | 30 | cvc5 --version
|
31 | 31 | - name: Prepare ccache
|
32 |
| - uses: actions/cache@v2 |
| 32 | + uses: actions/cache@v3 |
33 | 33 | with:
|
34 | 34 | path: .ccache
|
35 | 35 | key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-PR
|
|
99 | 99 | mv cvc5 /usr/local/bin
|
100 | 100 | cvc5 --version
|
101 | 101 | - name: Prepare ccache
|
102 |
| - uses: actions/cache@v2 |
| 102 | + uses: actions/cache@v3 |
103 | 103 | with:
|
104 | 104 | path: .ccache
|
105 | 105 | key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -168,7 +168,7 @@ jobs:
|
168 | 168 | mv cvc5 /usr/local/bin
|
169 | 169 | cvc5 --version
|
170 | 170 | - name: Prepare ccache
|
171 |
| - uses: actions/cache@v2 |
| 171 | + uses: actions/cache@v3 |
172 | 172 | with:
|
173 | 173 | path: .ccache
|
174 | 174 | key: ${{ runner.os }}-20.04-make-clang-smt-z3-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -209,7 +209,7 @@ jobs:
|
209 | 209 | mv cvc5 /usr/local/bin
|
210 | 210 | cvc5 --version
|
211 | 211 | - name: Prepare ccache
|
212 |
| - uses: actions/cache@v2 |
| 212 | + uses: actions/cache@v3 |
213 | 213 | with:
|
214 | 214 | path: .ccache
|
215 | 215 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -268,7 +268,7 @@ jobs:
|
268 | 268 | mv cvc5 /usr/local/bin
|
269 | 269 | cvc5 --version
|
270 | 270 | - name: Prepare ccache
|
271 |
| - uses: actions/cache@v2 |
| 271 | + uses: actions/cache@v3 |
272 | 272 | with:
|
273 | 273 | path: .ccache
|
274 | 274 | key: ${{ runner.os }}-22.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -317,7 +317,7 @@ jobs:
|
317 | 317 | sudo apt-get update
|
318 | 318 | sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
|
319 | 319 | - name: Prepare ccache
|
320 |
| - uses: actions/cache@v2 |
| 320 | + uses: actions/cache@v3 |
321 | 321 | with:
|
322 | 322 | path: .ccache
|
323 | 323 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -364,7 +364,7 @@ jobs:
|
364 | 364 | sudo apt-get update
|
365 | 365 | sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
|
366 | 366 | - name: Prepare ccache
|
367 |
| - uses: actions/cache@v2 |
| 367 | + uses: actions/cache@v3 |
368 | 368 | with:
|
369 | 369 | path: .ccache
|
370 | 370 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -403,7 +403,7 @@ jobs:
|
403 | 403 | mv cvc5 /usr/local/bin
|
404 | 404 | cvc5 --version
|
405 | 405 | - name: Prepare ccache
|
406 |
| - uses: actions/cache@v2 |
| 406 | + uses: actions/cache@v3 |
407 | 407 | with:
|
408 | 408 | path: .ccache
|
409 | 409 | key: ${{ runner.os }}-make-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -453,7 +453,7 @@ jobs:
|
453 | 453 | mv cvc5 /usr/local/bin
|
454 | 454 | cvc5 --version
|
455 | 455 | - name: Prepare ccache
|
456 |
| - uses: actions/cache@v2 |
| 456 | + uses: actions/cache@v3 |
457 | 457 | with:
|
458 | 458 | path: .ccache
|
459 | 459 | key: ${{ runner.os }}-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -507,7 +507,7 @@ jobs:
|
507 | 507 | - name: Setup Visual Studio environment
|
508 | 508 |
|
509 | 509 | - name: Prepare ccache
|
510 |
| - uses: actions/cache@v2 |
| 510 | + uses: actions/cache@v3 |
511 | 511 | with:
|
512 | 512 | path: .ccache
|
513 | 513 | key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -563,7 +563,7 @@ jobs:
|
563 | 563 | - name: Initialise Developer Command Line
|
564 | 564 | uses: ilammy/msvc-dev-cmd@v1
|
565 | 565 | - name: Prepare ccache
|
566 |
| - uses: actions/cache@v2 |
| 566 | + uses: actions/cache@v3 |
567 | 567 | with:
|
568 | 568 | path: .ccache
|
569 | 569 | key: ${{ runner.os }}-msbuild-make-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -658,7 +658,7 @@ jobs:
|
658 | 658 | - name: Setup Visual Studio environment
|
659 | 659 |
|
660 | 660 | - name: Prepare ccache
|
661 |
| - uses: actions/cache@v2 |
| 661 | + uses: actions/cache@v3 |
662 | 662 | with:
|
663 | 663 | path: .ccache
|
664 | 664 | key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PKG
|
@@ -721,7 +721,7 @@ jobs:
|
721 | 721 | mv cvc5 /usr/local/bin
|
722 | 722 | cvc5 --version
|
723 | 723 | - name: Prepare ccache
|
724 |
| - uses: actions/cache@v2 |
| 724 | + uses: actions/cache@v3 |
725 | 725 | with:
|
726 | 726 | path: .ccache
|
727 | 727 | key: ${{ runner.os }}-18.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -811,7 +811,7 @@ jobs:
|
811 | 811 | mv cvc5 /usr/local/bin
|
812 | 812 | cvc5 --version
|
813 | 813 | - name: Prepare ccache
|
814 |
| - uses: actions/cache@v2 |
| 814 | + uses: actions/cache@v3 |
815 | 815 | with:
|
816 | 816 | path: .ccache
|
817 | 817 | key: ${{ runner.os }}-20.04-Coverage-${{ github.ref }}-${{ github.sha }}-PR
|
|
0 commit comments