Update files under aux/

3 files changed, 16 insertions, 5 deletions

diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index fb49e71..1c033fe 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -50,7 +50,7 @@ EOF
     RUNNER='sh -c'
   fi
 
-  $RUNNER 'make clean check public'
+  $RUNNER 'make clean dev-check public'
 
   rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete
 } 2>&1 | tee "$LOGFILE"
diff --git a/aux/workflow/assert-changelog.sh b/aux/workflow/assert-changelog.sh
new file mode 100755
index 0000000..d39f527
--- /dev/null
+++ b/aux/workflow/assert-changelog.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+set -eu
+
+PROJECT="$1"
+
+for VVERSION in $(git tag); do
+  VERSION="${VVERSION#v}"
+  DATE="$(git log -1 --format=%cd --date=short "$VVERSION")"
+  CHANGELOG_ENTRY="# [$VERSION](https://git.euandreh.xyz/$PROJECT/commit/?id=$VVERSION) - $DATE"
+  if ! grep -qF "$CHANGELOG_ENTRY" CHANGELOG.md; then
+    echo "Missing '$CHANGELOG_ENTRY' entry from CHANGELOG.md" >&2
+    exit 1
+  fi
+done
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
index b337ef0..afe2c92 100755
--- a/aux/workflow/dist.sh
+++ b/aux/workflow/dist.sh
@@ -16,10 +16,7 @@ if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
   exit 1
 fi
 
-if ! grep -q "^# $VERSION - $DATE$" CHANGELOG.md; then
-  echo "Missing '# $VERSION - $DATE' entry from CHANGELOG.md" >&2
-  exit 1
-fi
+sh aux/workflow/assert-changelog.sh "$DATE" "$VERSION" "$PROJECT"
 
 git tag "$VVERSION"