diff options
| author | A Thousand Ships <96648715+AThousandShips@users.noreply.github.com> | 2026-07-31 14:37:15 +0200 |
|---|---|---|
| committer | Thaddeus Crews <repiteo@outlook.com> | 2026-08-12 11:26:25 -0500 |
| commit | 4903553e2c86e3103531713980df3598cf955738 (patch) | |
| tree | 4b9836d730ab4fbf05296ecef0a8418b8837c6b3 | |
| parent | d94b85934640afe312081114636267c9efbef3e3 (diff) | |
[Buildsystem] Ping `master` cache after saving cache
This should improve cache retention on large builds.
(cherry picked from commit 8e4e1451ec2d03761446d50ed3b14338d15a8b0e)
| -rw-r--r-- | .github/actions/godot-cache-save/action.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.github/actions/godot-cache-save/action.yml b/.github/actions/godot-cache-save/action.yml index f2d4455310..507a12d794 100644 --- a/.github/actions/godot-cache-save/action.yml +++ b/.github/actions/godot-cache-save/action.yml @@ -20,3 +20,14 @@ runs: with: path: ${{ inputs.scons-cache }} key: ${{ inputs.cache-name }}|${{ github.ref_name }}|${{ github.sha }} + + # This is done after saving the new cache so that the base cache remains more relevant, to reduce + # the risk of the cache being purged when multiple large PRs are pushed/merged at the same time. + - name: Ping default cache + uses: actions/cache/restore@v6 + if: github.ref_name != github.event.repository.default_branch + with: + path: ${{ inputs.scons-cache }} + key: ${{ inputs.cache-name }}|${{ github.event.repository.default_branch }}|${{ github.sha }} + restore-keys: ${{ inputs.cache-name }}|${{ github.event.repository.default_branch }} + lookup-only: true |