Soft fail registry update (#143)

This commit is contained in:
Ian Butterworth
2024-08-31 07:35:05 -04:00
committed by GitHub
parent e662c42397
commit 8608484607

View File

@@ -140,6 +140,7 @@ runs:
# Pkg operations. So this is only necessary for newer julia versions. # Pkg operations. So this is only necessary for newer julia versions.
- name: Update any cached registries - name: Update any cached registries
if: ${{ inputs.cache-registries == 'true' }} if: ${{ inputs.cache-registries == 'true' }}
continue-on-error: true
run: | run: |
if [ -d "${{ steps.paths.outputs.depot }}/registries" ] && [ -n "$(ls -A "${{ steps.paths.outputs.depot }}/registries")" ]; then 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" echo "Registries directory exists and is non-empty. Updating any registries"