diff --git a/.github/workflows/generate-release-zipfile.yml b/.github/workflows/generate-release-zipfile.yml index 857cdc3..6233675 100644 --- a/.github/workflows/generate-release-zipfile.yml +++ b/.github/workflows/generate-release-zipfile.yml @@ -67,6 +67,8 @@ jobs: # In case the repository becomes private, we add our GITHUB_TOKEN to the artifact-url. test -z "$GITHUB_TOKEN" && GITHUB_TOKEN="${{ github.token }}" MY_AUTHENTICATED_URL="$( echo "${{ steps.uploading.outputs.artifact-url }}" | sed "s#^\(https\?://\)#\1$GITHUB_TOKEN\@#" )" + # I got a 404. Let's try by giving Github a bit of time + sleep 15 wget -O "$DOWNLOAD_FILE" "$MY_AUTHENTICATED_URL" unzip "$DOWNLOAD_FILE" sha256sum -c "$SHASUM_FILE"