games/vcmi
1
0
Fork 0
mirror of https://github.com/vcmi/vcmi.git synced 2025-01-12 02:28:11 +02:00
Code Issues Releases Activity

CI: Fix Ccache for branches other than develop in forks of vcmi/vcmi

Browse Source
This commit is contained in:
Alexander Wilms 2024-02-08 19:20:51 +01:00
parent a7c29e2a95
commit 1fa3447ee7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/github.yml vendored
View File

@ -134,7 +134,7 @@ jobs:
# ensure the ccache for each PR is separate so they don't interfere with each other
# fall back to ccache of the vcmi/vcmi repo if no PR-specific ccache is found
- name: Ccache for PRs
- name: ccache for PRs
uses: hendrikmuhs/ccache-action@v1.2
if: ${{ github.event.number != '' }}
with:
@ -146,9 +146,9 @@ jobs:
max-size: "5G"
verbose: 2
- name: Ccache for vcmi/vcmi's develop branch
- name: ccache for everything but PRs
uses: hendrikmuhs/ccache-action@v1.2
if: ${{ github.event.number == '' && github.ref == 'refs/heads/develop' }}
if: ${{ (github.repository == 'vcmi/vcmi' && github.event.number == '' && github.ref == 'refs/heads/develop') || github.repository != 'vcmi/vcmi' }}
with:
key: ${{ matrix.preset }}-no-PR
restore-keys: |