Update tools/publish.sh

taiki-e · Jan 1, 2022 · 5d67938 · 5d67938
1 parent b8ea487
commit 5d67938
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tools/publish.sh b/tools/publish.sh
@@ -37,6 +37,10 @@ echo "============== CHANGELOG =============="
 parse-changelog CHANGELOG.md "${version}"
 echo "======================================="
 
+if ! grep <CHANGELOG.md -E "^\\[${version//./\\.}\\]: " >/dev/null; then
+    bail "not found link to [${version}] in CHANGELOG.md"
+fi
+
 # Make sure the same release has not been created in the past.
 if gh release view "${tag}" &>/dev/null; then
     bail "tag '${tag}' has already been created and pushed"