[no ci] Workflow: update github actions

pull/1287/head
Viktor 2024-01-29 13:48:25 +01:00
parent 4cc7781e0c
commit 7bb536cc69
2 changed files with 4 additions and 4 deletions

View File

@ -164,18 +164,18 @@ jobs:
steps: steps:
- name: Checkout source - name: Checkout source
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Setup ccache - name: Setup ccache
if: github.event_name != 'pull_request' if: github.event_name != 'pull_request'
uses: actions/cache@v3 uses: actions/cache@v4
with: with:
path: /tmp/ccache path: /tmp/ccache
key: ${{matrix.platform}}_${{matrix.release}} key: ${{matrix.platform}}_${{matrix.release}}
- name: Restore ccache - name: Restore ccache
if: github.event_name == 'pull_request' if: github.event_name == 'pull_request'
uses: actions/cache/restore@v3 uses: actions/cache/restore@v4
with: with:
path: /tmp/ccache path: /tmp/ccache
key: ${{matrix.platform}}_${{matrix.release}} key: ${{matrix.platform}}_${{matrix.release}}

View File

@ -43,7 +43,7 @@ jobs:
steps: steps:
- name: Checkout source - name: Checkout source
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Build toolchain - name: Build toolchain
run: | run: |