make depot if not restored (#91)

This commit is contained in:
Ian Butterworth
2024-01-16 10:48:25 -05:00
committed by GitHub
parent 4491ed7a86
commit dc1a3cdeac

View File

@@ -127,9 +127,12 @@ runs:
restore-keys: ${{ steps.keys.outputs.restore-key }} restore-keys: ${{ steps.keys.outputs.restore-key }}
enableCrossOsArchive: false enableCrossOsArchive: false
- name: list restored depot directory sizes # if it wasn't restored make the depot anyway as a signal that this action ran
if: ${{ steps.cache.outputs.cache-hit == 'true' }} # for other julia actions to check, like https://github.com/julia-actions/julia-buildpkg/pull/41
run: du -shc ${{ steps.paths.outputs.depot }}/* || true - name: make depot if not restored, then list depot directory sizes
run: |
mkdir -p ${{ steps.paths.outputs.depot }}
du -shc ${{ steps.paths.outputs.depot }}/* || true
shell: bash shell: bash
# github and actions/cache doesn't provide a way to update a cache at a given key, so we delete any # github and actions/cache doesn't provide a way to update a cache at a given key, so we delete any