Merge remote branch 'origin/master' into edge

AdaCore · Aug 21, 2024 · fb0360a · fb0360a
2 parents e9b14a0 + f5b8461
commit fb0360a
Show file tree

Hide file tree

Showing 9 changed files with 1,840 additions and 134 deletions.
diff --git a/.github/workflows/pack-binaries.sh b/.github/workflows/pack-binaries.sh
@@ -6,6 +6,13 @@ NODE_PLATFORM=$(node -e "console.log(process.platform)")
 NODE_ARCH=$(node -e "console.log(process.arch)")
 ext_dir=integration/vscode/ada
 
+function create_changelog() {
+   # Replace the \<next> section with the tag
+   sed -e "s/^## \\\\<next>$/## $TAG/" <CHANGELOG.md
+}
+
+create_changelog >"$ext_dir/CHANGELOG.md"
+
 (
    cd "$ext_dir"
 

diff --git a/.github/workflows/release.sh b/.github/workflows/release.sh
@@ -28,9 +28,8 @@ git fetch --tags
 function release_notes() {
    echo "# Release notes"
 
-   git show --no-patch --format=%n "$TAG" |
-      sed -e '1,/Release notes/d'
-   echo ""
+   # Select the content of the first section of CHANGELOG.md
+   sed -n -e '/^## \\<next>/,/^##/p' <CHANGELOG.md | tail -n +2 | head -n -1
 
    COMMITS=commits.txt