authenticated URL
All checks were successful
/ GenerateReleaseZipfile (push) Successful in 1m10s

This commit is contained in:
Chl 2024-08-29 03:55:23 +02:00
parent 6ed9dd8980
commit 0d7ff726d9
2 changed files with 5 additions and 3 deletions

View file

@ -51,7 +51,9 @@ jobs:
cat "$SHASUM_FILE"
cd "$TEST_ARTIFACT_DIR"
wget -O "$DOWNLOAD_FILE" "${{ steps.uploading.outputs.artifact-url }}"
# In case the repository becomes private, we add our GITHUB_TOKEN to the artifact-url.
MY_AUTHENTICATED_URL="$( echo "${{ steps.uploading.outputs.artifact-url }}" | sed "s#^\(https\?://\)#\1$GITHUB_TOKEN\@#" )"
wget -O "$DOWNLOAD_FILE" "$MY_AUTHENTICATED_URL"
unzip "$DOWNLOAD_FILE"
sha256sum -c "$SHASUM_FILE"

View file

@ -62,8 +62,8 @@ steps:
- name: Simple checkout
run: |
git init
GITHUB_AUTHENTICATED_URL="$( echo "$GITHUB_SERVER_URL" | sed "s#^\(https\?://\)#\1$GITHUB_TOKEN\@#" )"
git remote add origin "$GITHUB_AUTHENTICATED_URL"/"$GITHUB_REPOSITORY"
MY_AUTHENTICATED_URL="$( echo "$GITHUB_SERVER_URL" | sed "s#^\(https\?://\)#\1$GITHUB_TOKEN\@#" )"
git remote add origin "$MY_AUTHENTICATED_URL"/"$GITHUB_REPOSITORY"
# Little and optional speed optimization
git config --local gc.auto 0
git fetch --no-tags --prune --no-recurse-submodules --depth=1 origin "$GITHUB_SHA"