mirror of
https://github.com/julia-actions/cache.git
synced 2026-02-13 09:46:52 +08:00
Compare commits
2 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
824243901f | ||
|
|
8608484607 |
@@ -66,7 +66,11 @@ runs:
|
||||
else
|
||||
depot="~/.julia"
|
||||
fi
|
||||
depot="${depot/#\~/$HOME}" # Expand tilde which cannot be used in BASH checks (i.e. `[ -d "~/.julia" ]` fails)
|
||||
if [[ "$OSTYPE" == "msys" || "$OSTYPE" == "cygwin" ]]; then
|
||||
depot="${depot/#\~/$USERPROFILE}" # Windows paths
|
||||
else
|
||||
depot="${depot/#\~/$HOME}" # Unix-like paths
|
||||
fi
|
||||
echo "depot=$depot" | tee -a "$GITHUB_OUTPUT"
|
||||
|
||||
cache_paths=()
|
||||
@@ -140,6 +144,7 @@ runs:
|
||||
# Pkg operations. So this is only necessary for newer julia versions.
|
||||
- name: Update any cached registries
|
||||
if: ${{ inputs.cache-registries == 'true' }}
|
||||
continue-on-error: true
|
||||
run: |
|
||||
if [ -d "${{ steps.paths.outputs.depot }}/registries" ] && [ -n "$(ls -A "${{ steps.paths.outputs.depot }}/registries")" ]; then
|
||||
echo "Registries directory exists and is non-empty. Updating any registries"
|
||||
|
||||
Reference in New Issue
Block a user