Check changelog on publish

.github/workflows/release.yml

@@ -11,6 +11,9 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
+      - name: Check CHANGELOG.md
+        run: ./scripts/check_CHANGELOG.sh "${{ github.ref }}"
+
       - name: Login
         run: echo ${{ secrets.CRATES_IO_TOKEN }} | cargo login
 

scripts/check_CHANGELOG.sh

@@ -0,0 +1,22 @@
+#! /bin/bash
+
+# set -x
+set -euo pipefail
+
+if [[ $# -ne 1 ]]; then
+    echo "$0: expect one argument: `github.ref`" >&2
+    exit 1
+fi
+
+REF="$1"
+
+if [[ ${REF::11} != 'refs/tags/v' ]]; then
+    echo "$0: expect \`github.ref\` to start with \`refs/tags/v\`: $REF" >&2
+    exit 1
+fi
+
+VERSION="${REF:11}"
+
+cd "$(dirname "$0")"/..
+
+grep "^## $VERSION$" CHANGELOG.md