Don't fail cache delete step

This commit is contained in:
tooomm 2026-04-11 17:28:29 +02:00 committed by GitHub
parent 36aba81b1b
commit ecd8ad5700
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -208,11 +208,12 @@ jobs:
.ci/name_build.sh
# Delete used cache to emulate a ccache update. See https://github.com/actions/cache/issues/342.
# If the deletion is failing we want to proceed nontheless and not error the job
- name: Delete remote compiler cache (ccache)
if: github.ref == 'refs/heads/master' && steps.ccache_restore.outputs.cache-hit
env:
GH_TOKEN: ${{ github.token }}
run: gh cache delete --repo ${{ github.repository }} ${{ steps.ccache_restore.outputs.cache-primary-key }}
run: gh cache delete --repo ${{ github.repository }} ${{ steps.ccache_restore.outputs.cache-primary-key }} || true
- name: Save updated compiler cache (ccache)
if: github.ref == 'refs/heads/master'
@ -450,11 +451,12 @@ jobs:
run: .ci/compile.sh --server --test --vcpkg
# Delete used cache to emulate a ccache update. See https://github.com/actions/cache/issues/342.
# If the deletion is failing we want to proceed nontheless and not error the job
- name: Delete remote compiler cache (ccache)
if: github.ref == 'refs/heads/master' && matrix.use_ccache == 1 && steps.ccache_restore.outputs.cache-hit
env:
GH_TOKEN: ${{ github.token }}
run: gh cache delete --repo ${{ github.repository }} ${{ steps.ccache_restore.outputs.cache-primary-key }}
run: gh cache delete --repo ${{ github.repository }} ${{ steps.ccache_restore.outputs.cache-primary-key }} || true
- name: Save updated compiler cache (ccache)
if: github.ref == 'refs/heads/master' && matrix.use_ccache == 1