|
34 | 34 | rm cvc5-Linux-x86_64-static.zip |
35 | 35 | cvc5 --version |
36 | 36 | - name: Prepare ccache |
37 | | - uses: actions/cache@v4 |
| 37 | + uses: actions/cache@v5 |
38 | 38 | with: |
39 | 39 | save-always: true |
40 | 40 | path: .ccache |
@@ -121,7 +121,7 @@ jobs: |
121 | 121 | rm cvc5-Linux-x86_64-static.zip |
122 | 122 | cvc5 --version |
123 | 123 | - name: Prepare ccache |
124 | | - uses: actions/cache@v4 |
| 124 | + uses: actions/cache@v5 |
125 | 125 | with: |
126 | 126 | save-always: true |
127 | 127 | path: .ccache |
@@ -187,7 +187,7 @@ jobs: |
187 | 187 | - name: Confirm z3 solver is available and log the version installed |
188 | 188 | run: z3 --version |
189 | 189 | - name: Prepare ccache |
190 | | - uses: actions/cache@v4 |
| 190 | + uses: actions/cache@v5 |
191 | 191 | with: |
192 | 192 | save-always: true |
193 | 193 | path: .ccache |
@@ -232,7 +232,7 @@ jobs: |
232 | 232 | rm cvc5-Linux-x86_64-static.zip |
233 | 233 | cvc5 --version |
234 | 234 | - name: Prepare ccache |
235 | | - uses: actions/cache@v4 |
| 235 | + uses: actions/cache@v5 |
236 | 236 | with: |
237 | 237 | save-always: true |
238 | 238 | path: .ccache |
@@ -304,7 +304,7 @@ jobs: |
304 | 304 | rm cvc5-Linux-x86_64-static.zip |
305 | 305 | cvc5 --version |
306 | 306 | - name: Prepare ccache |
307 | | - uses: actions/cache@v4 |
| 307 | + uses: actions/cache@v5 |
308 | 308 | with: |
309 | 309 | save-always: true |
310 | 310 | path: .ccache |
@@ -371,7 +371,7 @@ jobs: |
371 | 371 | rm cvc5-Linux-x86_64-static.zip |
372 | 372 | cvc5 --version |
373 | 373 | - name: Prepare ccache |
374 | | - uses: actions/cache@v4 |
| 374 | + uses: actions/cache@v5 |
375 | 375 | with: |
376 | 376 | save-always: true |
377 | 377 | path: .ccache |
@@ -431,7 +431,7 @@ jobs: |
431 | 431 | rm cvc5-Linux-x86_64-static.zip |
432 | 432 | cvc5 --version |
433 | 433 | - name: Prepare ccache |
434 | | - uses: actions/cache@v4 |
| 434 | + uses: actions/cache@v5 |
435 | 435 | with: |
436 | 436 | save-always: true |
437 | 437 | path: .ccache |
@@ -478,7 +478,7 @@ jobs: |
478 | 478 | rm cvc5-Linux-arm64-static.zip |
479 | 479 | cvc5 --version |
480 | 480 | - name: Prepare ccache |
481 | | - uses: actions/cache@v4 |
| 481 | + uses: actions/cache@v5 |
482 | 482 | with: |
483 | 483 | save-always: true |
484 | 484 | path: .ccache |
@@ -532,7 +532,7 @@ jobs: |
532 | 532 | rm cvc5-Linux-x86_64-static.zip |
533 | 533 | cvc5 --version |
534 | 534 | - name: Prepare ccache |
535 | | - uses: actions/cache@v4 |
| 535 | + uses: actions/cache@v5 |
536 | 536 | with: |
537 | 537 | save-always: true |
538 | 538 | path: .ccache |
@@ -571,7 +571,7 @@ jobs: |
571 | 571 | sudo apt-get update |
572 | 572 | sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3 |
573 | 573 | - name: Prepare ccache |
574 | | - uses: actions/cache@v4 |
| 574 | + uses: actions/cache@v5 |
575 | 575 | with: |
576 | 576 | save-always: true |
577 | 577 | path: .ccache |
@@ -618,7 +618,7 @@ jobs: |
618 | 618 | sudo apt-get update |
619 | 619 | sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils ccache z3 |
620 | 620 | - name: Prepare ccache |
621 | | - uses: actions/cache@v4 |
| 621 | + uses: actions/cache@v5 |
622 | 622 | with: |
623 | 623 | save-always: true |
624 | 624 | path: .ccache |
@@ -662,7 +662,7 @@ jobs: |
662 | 662 | rm cvc5-macOS-x86_64-static.zip |
663 | 663 | cvc5 --version |
664 | 664 | - name: Prepare ccache |
665 | | - uses: actions/cache@v4 |
| 665 | + uses: actions/cache@v5 |
666 | 666 | with: |
667 | 667 | save-always: true |
668 | 668 | path: .ccache |
@@ -716,7 +716,7 @@ jobs: |
716 | 716 | rm cvc5-macOS-arm64-static.zip |
717 | 717 | cvc5 --version |
718 | 718 | - name: Prepare ccache |
719 | | - uses: actions/cache@v4 |
| 719 | + uses: actions/cache@v5 |
720 | 720 | with: |
721 | 721 | save-always: true |
722 | 722 | path: .ccache |
@@ -776,7 +776,7 @@ jobs: |
776 | 776 | - name: Confirm cvc5 solver is available and log the version installed |
777 | 777 | run: cvc5 --version |
778 | 778 | - name: Prepare ccache |
779 | | - uses: actions/cache@v4 |
| 779 | + uses: actions/cache@v5 |
780 | 780 | with: |
781 | 781 | save-always: true |
782 | 782 | path: .ccache |
@@ -841,7 +841,7 @@ jobs: |
841 | 841 | - name: Initialise Developer Command Line |
842 | 842 | uses: ilammy/msvc-dev-cmd@v1 |
843 | 843 | - name: Prepare ccache |
844 | | - uses: actions/cache@v4 |
| 844 | + uses: actions/cache@v5 |
845 | 845 | with: |
846 | 846 | save-always: true |
847 | 847 | path: .ccache |
@@ -903,7 +903,7 @@ jobs: |
903 | 903 | nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0 |
904 | 904 | echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH |
905 | 905 | - name: Prepare ccache |
906 | | - uses: actions/cache@v4 |
| 906 | + uses: actions/cache@v5 |
907 | 907 | with: |
908 | 908 | save-always: true |
909 | 909 | path: .ccache |
|
0 commit comments