diff --git a/.github/workflows/ebmc-release.yaml b/.github/workflows/ebmc-release.yaml index 92a7bf851..63a8a5850 100644 --- a/.github/workflows/ebmc-release.yaml +++ b/.github/workflows/ebmc-release.yaml @@ -59,7 +59,7 @@ jobs: sudo apt-get update sudo apt-get install --no-install-recommends -yq gcc g++ jq flex bison libxml2-utils ccache - name: Prepare ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: save-always: true path: /home/runner/.cache @@ -135,7 +135,7 @@ jobs: tar xJf ccache-4.9.1-linux-x86_64.tar.xz cp ccache-4.9.1-linux-x86_64/ccache /usr/bin/ - name: cache for ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: /github/home/.cache/ccache save-always: true @@ -244,7 +244,7 @@ jobs: source ./emsdk_env.sh emcc --version - name: Prepare ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: /home/runner/.cache save-always: true diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index 922da2ae0..47dedde93 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -31,7 +31,7 @@ jobs: - name: Log the version of gcc run: gcc --version - name: Prepare ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: .ccache save-always: true @@ -95,7 +95,7 @@ jobs: - name: Confirm z3 solver is available and log the version installed run: z3 --version - name: Prepare ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: .ccache save-always: true @@ -262,7 +262,7 @@ jobs: # yum config-manager --set-enabled powertools # yum install glibc-static libstdc++-static - name: cache for ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: /github/home/.cache/ccache save-always: true @@ -306,7 +306,7 @@ jobs: - name: Confirm z3 solver is available and log the version installed run: z3 --version - name: Prepare ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: save-always: true path: .ccache @@ -379,7 +379,7 @@ jobs: source ./emsdk_env.sh emcc --version - name: Prepare ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: .ccache save-always: true @@ -455,7 +455,7 @@ jobs: - name: Initialise Developer Command Line uses: ilammy/msvc-dev-cmd@v1 - name: Prepare ccache - uses: actions/cache@v4 + uses: actions/cache@v5 with: save-always: true path: .ccache