Merge tag 'v4.0.3' into v4-github

This commit is contained in:
Chl 2024-08-31 15:27:33 +02:00
commit deb9a27605
Signed by: chl
GPG key ID: 80012B734F21B934
2 changed files with 4 additions and 0 deletions

View file

@ -1,6 +1,7 @@
on:
push:
branches:
- 'v4'
jobs:
GenerateReleaseZipfile:
@ -55,6 +56,8 @@ jobs:
# 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 and check
unzip "$DOWNLOAD_FILE"
sha256sum -c "$SHASUM_FILE"

View file

@ -1,6 +1,7 @@
on:
push:
branches:
- 'v4-github'
jobs:
GenerateReleaseZipfile: