Merge remote branch 'origin/master' into edge

(no-precommit-check no-tn-check)

Author: mergerepo

.github/workflows/build-binaries.yml

@@ -133,6 +133,8 @@ jobs:
         run: |
           if [[ ${GITHUB_REF##*/} = 2*.[0-9]*.[0-9]* ]]; then
               TAG="${GITHUB_REF##*/}"
+              .github/workflows/release.sh ""      "${{ secrets.GITHUB_TOKEN }}" $TAG
+              .github/workflows/release.sh "debug" "${{ secrets.GITHUB_TOKEN }}" $TAG
           else
               TAG="$DEFAULT_TAG"
           fi

.github/workflows/pack-binaries.sh

@@ -17,14 +17,6 @@ function make_change_log()
     done
 }
 
-if [[ ${GITHUB_REF##*/} = 2*.[0-9]*.[0-9]* ]] ; then
-    # For tags `actions/checkout@v2` action fetches a tag's commit, but
-    # not the tag annotation itself. Let's refetch the tag from origin.
-    # This makes `git show --no-patch --format=%n $TAG` work again.
-    git tag --delete ${GITHUB_REF##*/}
-    git fetch --tags
-fi
-
 chmod -R -v +x als-*-$DEBUG
 for X in Linux macOS Windows ; do mv -v -f als-$X-$DEBUG/* integration/vscode/ada/; done
 pushd integration/vscode/ada

.github/workflows/release.sh

@@ -0,0 +1,56 @@
+#!/bin/bash
+set -x -e
+DEBUG=$1 # Value is '' or 'debug'
+GITHUB_ACCESS_TOKEN=$2
+TAG=$3 # Release name/tag
+
+# For tags `actions/checkout@v2` action fetches a tag's commit, but
+# not the tag annotation itself. Let's refetch the tag from origin.
+# This makes `git show --no-patch --format=%n $TAG` work again.
+git tag --delete $TAG
+git fetch --tags
+
+git show --no-patch --format=%n $TAG | \
+ sed -e '1,/Release notes/d' > release_notes.md
+
+# Try to create a release
+jq --null-input --arg tag $TAG \
+   --rawfile body release_notes.md \
+   '{"tag_name": $tag, "name": $tag, "body": $body}' | \
+curl -v \
+  -X POST \
+  -H "Accept: application/vnd.github+json" \
+  -H "Authorization: token $GITHUB_ACCESS_TOKEN" \
+  -H 'Content-Type: application/json' \
+  https://api.github.com/repos/$GITHUB_REPOSITORY/releases \
+  -d "@-"
+
+rm -f release_notes.md
+
+# Get asset upload url, drop "quotes" around it and {parameters} at the end
+upload_url=$( curl \
+  -H "Accept: application/vnd.github+json" \
+  -H "Authorization: token $GITHUB_ACCESS_TOKEN" \
+  https://api.github.com/repos/$GITHUB_REPOSITORY/releases/tags/$TAG | \
+  jq -r '.upload_url | rtrimstr("{?name,label}")')
+
+echo "upload_url=$upload_url"
+
+chmod -R -v +x als-*-$DEBUG
+
+for X in Linux macOS Windows ; do
+  FILE=als-$TAG-$X${DEBUG:+-debug}_amd64.zip
+  cd als-$X-$DEBUG
+  zip -9 -r ../$FILE .
+  cd ..
+
+  # Upload $FILE as an asset to the release
+  curl \
+    -X POST \
+    -H "Accept: application/vnd.github+json" \
+    -H "Authorization: token $GITHUB_ACCESS_TOKEN" \
+    -H 'Content-Type: application/zip' \
+    --data-binary @$FILE \
+    $upload_url?name=$FILE
+  rm -v -f $FILE
+done