|
32 | 32 | mv cvc5 /usr/local/bin
|
33 | 33 | cvc5 --version
|
34 | 34 | - name: Prepare ccache
|
35 |
| - uses: actions/cache@v3 |
| 35 | + uses: actions/cache@v4 |
36 | 36 | with:
|
37 | 37 | path: .ccache
|
38 | 38 | key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -117,7 +117,7 @@ jobs:
|
117 | 117 | mv cvc5 /usr/local/bin
|
118 | 118 | cvc5 --version
|
119 | 119 | - name: Prepare ccache
|
120 |
| - uses: actions/cache@v3 |
| 120 | + uses: actions/cache@v4 |
121 | 121 | with:
|
122 | 122 | path: .ccache
|
123 | 123 | key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -181,7 +181,7 @@ jobs:
|
181 | 181 | - name: Confirm z3 solver is available and log the version installed
|
182 | 182 | run: z3 --version
|
183 | 183 | - name: Prepare ccache
|
184 |
| - uses: actions/cache@v3 |
| 184 | + uses: actions/cache@v4 |
185 | 185 | with:
|
186 | 186 | path: .ccache
|
187 | 187 | key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -225,7 +225,7 @@ jobs:
|
225 | 225 | mv cvc5 /usr/local/bin
|
226 | 226 | cvc5 --version
|
227 | 227 | - name: Prepare ccache
|
228 |
| - uses: actions/cache@v3 |
| 228 | + uses: actions/cache@v4 |
229 | 229 | with:
|
230 | 230 | path: .ccache
|
231 | 231 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -296,7 +296,7 @@ jobs:
|
296 | 296 | mv cvc5 /usr/local/bin
|
297 | 297 | cvc5 --version
|
298 | 298 | - name: Prepare ccache
|
299 |
| - uses: actions/cache@v3 |
| 299 | + uses: actions/cache@v4 |
300 | 300 | with:
|
301 | 301 | path: .ccache
|
302 | 302 | key: ${{ runner.os }}-22.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -361,7 +361,7 @@ jobs:
|
361 | 361 | mv cvc5 /usr/local/bin
|
362 | 362 | cvc5 --version
|
363 | 363 | - name: Prepare ccache
|
364 |
| - uses: actions/cache@v3 |
| 364 | + uses: actions/cache@v4 |
365 | 365 | with:
|
366 | 366 | path: .ccache
|
367 | 367 | key: ${{ runner.os }}-22.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -420,7 +420,7 @@ jobs:
|
420 | 420 | mv cvc5 /usr/local/bin
|
421 | 421 | cvc5 --version
|
422 | 422 | - name: Prepare ccache
|
423 |
| - uses: actions/cache@v3 |
| 423 | + uses: actions/cache@v4 |
424 | 424 | with:
|
425 | 425 | path: .ccache
|
426 | 426 | key: ${{ runner.os }}-22.04-Release-gcc-13-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -466,7 +466,7 @@ jobs:
|
466 | 466 | mv cvc5 /usr/local/bin
|
467 | 467 | cvc5 --version
|
468 | 468 | - name: Prepare ccache
|
469 |
| - uses: actions/cache@v3 |
| 469 | + uses: actions/cache@v4 |
470 | 470 | with:
|
471 | 471 | path: .ccache
|
472 | 472 | key: ${{ runner.os }}-22.04-Release-32-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -504,7 +504,7 @@ jobs:
|
504 | 504 | sudo apt-get update
|
505 | 505 | sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
|
506 | 506 | - name: Prepare ccache
|
507 |
| - uses: actions/cache@v3 |
| 507 | + uses: actions/cache@v4 |
508 | 508 | with:
|
509 | 509 | path: .ccache
|
510 | 510 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -550,7 +550,7 @@ jobs:
|
550 | 550 | sudo apt-get update
|
551 | 551 | sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
|
552 | 552 | - name: Prepare ccache
|
553 |
| - uses: actions/cache@v3 |
| 553 | + uses: actions/cache@v4 |
554 | 554 | with:
|
555 | 555 | path: .ccache
|
556 | 556 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -590,7 +590,7 @@ jobs:
|
590 | 590 | mv cvc5 /usr/local/bin
|
591 | 591 | cvc5 --version
|
592 | 592 | - name: Prepare ccache
|
593 |
| - uses: actions/cache@v3 |
| 593 | + uses: actions/cache@v4 |
594 | 594 | with:
|
595 | 595 | path: .ccache
|
596 | 596 | key: ${{ runner.os }}-make-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -641,7 +641,7 @@ jobs:
|
641 | 641 | mv cvc5 /usr/local/bin
|
642 | 642 | cvc5 --version
|
643 | 643 | - name: Prepare ccache
|
644 |
| - uses: actions/cache@v3 |
| 644 | + uses: actions/cache@v4 |
645 | 645 | with:
|
646 | 646 | path: .ccache
|
647 | 647 | key: ${{ runner.os }}-Release-Glucose-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -698,7 +698,7 @@ jobs:
|
698 | 698 | - name: Confirm cvc5 solver is available and log the version installed
|
699 | 699 | run: cvc5 --version
|
700 | 700 | - name: Prepare ccache
|
701 |
| - uses: actions/cache@v3 |
| 701 | + uses: actions/cache@v4 |
702 | 702 | with:
|
703 | 703 | path: .ccache
|
704 | 704 | key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -756,7 +756,7 @@ jobs:
|
756 | 756 | - name: Initialise Developer Command Line
|
757 | 757 | uses: ilammy/msvc-dev-cmd@v1
|
758 | 758 | - name: Prepare ccache
|
759 |
| - uses: actions/cache@v3 |
| 759 | + uses: actions/cache@v4 |
760 | 760 | with:
|
761 | 761 | path: .ccache
|
762 | 762 | key: ${{ runner.os }}-msbuild-make-${{ github.ref }}-${{ github.sha }}-PR
|
@@ -811,7 +811,7 @@ jobs:
|
811 | 811 | nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
|
812 | 812 | echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
|
813 | 813 | - name: Prepare ccache
|
814 |
| - uses: actions/cache@v3 |
| 814 | + uses: actions/cache@v4 |
815 | 815 | with:
|
816 | 816 | path: .ccache
|
817 | 817 | key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PKG
|
@@ -928,7 +928,7 @@ jobs:
|
928 | 928 | mv cvc5 /usr/local/bin
|
929 | 929 | cvc5 --version
|
930 | 930 | - name: Prepare ccache
|
931 |
| - uses: actions/cache@v3 |
| 931 | + uses: actions/cache@v4 |
932 | 932 | with:
|
933 | 933 | path: .ccache
|
934 | 934 | key: ${{ runner.os }}-20.04-Coverage-${{ github.ref }}-${{ github.sha }}-PR
|
|
0 commit comments