|
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 | + save-always: true |
37 | 38 | path: .ccache
|
38 | 39 | key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-PR
|
39 | 40 | restore-keys: |
|
@@ -117,8 +118,9 @@ jobs:
|
117 | 118 | mv cvc5 /usr/local/bin
|
118 | 119 | cvc5 --version
|
119 | 120 | - name: Prepare ccache
|
120 |
| - uses: actions/cache@v3 |
| 121 | + uses: actions/cache@v4 |
121 | 122 | with:
|
| 123 | + save-always: true |
122 | 124 | path: .ccache
|
123 | 125 | key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
|
124 | 126 | restore-keys: |
|
@@ -181,8 +183,9 @@ jobs:
|
181 | 183 | - name: Confirm z3 solver is available and log the version installed
|
182 | 184 | run: z3 --version
|
183 | 185 | - name: Prepare ccache
|
184 |
| - uses: actions/cache@v3 |
| 186 | + uses: actions/cache@v4 |
185 | 187 | with:
|
| 188 | + save-always: true |
186 | 189 | path: .ccache
|
187 | 190 | key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
|
188 | 191 | restore-keys: |
|
@@ -225,8 +228,9 @@ jobs:
|
225 | 228 | mv cvc5 /usr/local/bin
|
226 | 229 | cvc5 --version
|
227 | 230 | - name: Prepare ccache
|
228 |
| - uses: actions/cache@v3 |
| 231 | + uses: actions/cache@v4 |
229 | 232 | with:
|
| 233 | + save-always: true |
230 | 234 | path: .ccache
|
231 | 235 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
232 | 236 | restore-keys: |
|
@@ -296,8 +300,9 @@ jobs:
|
296 | 300 | mv cvc5 /usr/local/bin
|
297 | 301 | cvc5 --version
|
298 | 302 | - name: Prepare ccache
|
299 |
| - uses: actions/cache@v3 |
| 303 | + uses: actions/cache@v4 |
300 | 304 | with:
|
| 305 | + save-always: true |
301 | 306 | path: .ccache
|
302 | 307 | key: ${{ runner.os }}-22.04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
|
303 | 308 | restore-keys: |
|
@@ -361,8 +366,9 @@ jobs:
|
361 | 366 | mv cvc5 /usr/local/bin
|
362 | 367 | cvc5 --version
|
363 | 368 | - name: Prepare ccache
|
364 |
| - uses: actions/cache@v3 |
| 369 | + uses: actions/cache@v4 |
365 | 370 | with:
|
| 371 | + save-always: true |
366 | 372 | path: .ccache
|
367 | 373 | key: ${{ runner.os }}-22.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
368 | 374 | restore-keys: |
|
@@ -420,8 +426,9 @@ jobs:
|
420 | 426 | mv cvc5 /usr/local/bin
|
421 | 427 | cvc5 --version
|
422 | 428 | - name: Prepare ccache
|
423 |
| - uses: actions/cache@v3 |
| 429 | + uses: actions/cache@v4 |
424 | 430 | with:
|
| 431 | + save-always: true |
425 | 432 | path: .ccache
|
426 | 433 | key: ${{ runner.os }}-22.04-Release-gcc-13-${{ github.ref }}-${{ github.sha }}-PR
|
427 | 434 | restore-keys: |
|
@@ -466,8 +473,9 @@ jobs:
|
466 | 473 | mv cvc5 /usr/local/bin
|
467 | 474 | cvc5 --version
|
468 | 475 | - name: Prepare ccache
|
469 |
| - uses: actions/cache@v3 |
| 476 | + uses: actions/cache@v4 |
470 | 477 | with:
|
| 478 | + save-always: true |
471 | 479 | path: .ccache
|
472 | 480 | key: ${{ runner.os }}-22.04-Release-32-${{ github.ref }}-${{ github.sha }}-PR
|
473 | 481 | restore-keys: |
|
@@ -504,8 +512,9 @@ jobs:
|
504 | 512 | sudo apt-get update
|
505 | 513 | sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
|
506 | 514 | - name: Prepare ccache
|
507 |
| - uses: actions/cache@v3 |
| 515 | + uses: actions/cache@v4 |
508 | 516 | with:
|
| 517 | + save-always: true |
509 | 518 | path: .ccache
|
510 | 519 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
511 | 520 | restore-keys: |
|
@@ -550,8 +559,9 @@ jobs:
|
550 | 559 | sudo apt-get update
|
551 | 560 | sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3
|
552 | 561 | - name: Prepare ccache
|
553 |
| - uses: actions/cache@v3 |
| 562 | + uses: actions/cache@v4 |
554 | 563 | with:
|
| 564 | + save-always: true |
555 | 565 | path: .ccache
|
556 | 566 | key: ${{ runner.os }}-20.04-Release-${{ github.ref }}-${{ github.sha }}-PR
|
557 | 567 | restore-keys: |
|
@@ -590,8 +600,9 @@ jobs:
|
590 | 600 | mv cvc5 /usr/local/bin
|
591 | 601 | cvc5 --version
|
592 | 602 | - name: Prepare ccache
|
593 |
| - uses: actions/cache@v3 |
| 603 | + uses: actions/cache@v4 |
594 | 604 | with:
|
| 605 | + save-always: true |
595 | 606 | path: .ccache
|
596 | 607 | key: ${{ runner.os }}-make-${{ github.ref }}-${{ github.sha }}-PR
|
597 | 608 | restore-keys: |
|
@@ -641,8 +652,9 @@ jobs:
|
641 | 652 | mv cvc5 /usr/local/bin
|
642 | 653 | cvc5 --version
|
643 | 654 | - name: Prepare ccache
|
644 |
| - uses: actions/cache@v3 |
| 655 | + uses: actions/cache@v4 |
645 | 656 | with:
|
| 657 | + save-always: true |
646 | 658 | path: .ccache
|
647 | 659 | key: ${{ runner.os }}-Release-Glucose-${{ github.ref }}-${{ github.sha }}-PR
|
648 | 660 | restore-keys: |
|
@@ -698,8 +710,9 @@ jobs:
|
698 | 710 | - name: Confirm cvc5 solver is available and log the version installed
|
699 | 711 | run: cvc5 --version
|
700 | 712 | - name: Prepare ccache
|
701 |
| - uses: actions/cache@v3 |
| 713 | + uses: actions/cache@v4 |
702 | 714 | with:
|
| 715 | + save-always: true |
703 | 716 | path: .ccache
|
704 | 717 | key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PR
|
705 | 718 | restore-keys: |
|
@@ -756,8 +769,9 @@ jobs:
|
756 | 769 | - name: Initialise Developer Command Line
|
757 | 770 | uses: ilammy/msvc-dev-cmd@v1
|
758 | 771 | - name: Prepare ccache
|
759 |
| - uses: actions/cache@v3 |
| 772 | + uses: actions/cache@v4 |
760 | 773 | with:
|
| 774 | + save-always: true |
761 | 775 | path: .ccache
|
762 | 776 | key: ${{ runner.os }}-msbuild-make-${{ github.ref }}-${{ github.sha }}-PR
|
763 | 777 | restore-keys: |
|
@@ -811,8 +825,9 @@ jobs:
|
811 | 825 | nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
|
812 | 826 | echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
|
813 | 827 | - name: Prepare ccache
|
814 |
| - uses: actions/cache@v3 |
| 828 | + uses: actions/cache@v4 |
815 | 829 | with:
|
| 830 | + save-always: true |
816 | 831 | path: .ccache
|
817 | 832 | key: ${{ runner.os }}-msbuild-${{ github.ref }}-${{ github.sha }}-PKG
|
818 | 833 | restore-keys: |
|
@@ -928,8 +943,9 @@ jobs:
|
928 | 943 | mv cvc5 /usr/local/bin
|
929 | 944 | cvc5 --version
|
930 | 945 | - name: Prepare ccache
|
931 |
| - uses: actions/cache@v3 |
| 946 | + uses: actions/cache@v4 |
932 | 947 | with:
|
| 948 | + save-always: true |
933 | 949 | path: .ccache
|
934 | 950 | key: ${{ runner.os }}-20.04-Coverage-${{ github.ref }}-${{ github.sha }}-PR
|
935 | 951 | restore-keys: |
|
|
0 commit comments