From 855c17643ab0ae64d38c336f14b122689efdc8d4 Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Thu, 20 Jan 2022 21:18:04 +0100
Subject: add script to prevent point releases with same number as existing
 ones

---
 src/ci/github-actions/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/ci/github-actions')

diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml
index a70cdc4b519..cc282fc2f0e 100644
--- a/src/ci/github-actions/ci.yml
+++ b/src/ci/github-actions/ci.yml
@@ -206,6 +206,10 @@ x--expand-yaml-anchors--remove:
         run: src/ci/scripts/verify-backported-commits.sh
         <<: *step
 
+      - name: ensure the stable version number is correct
+        run: src/ci/scripts/verify-stable-version-number.sh
+        <<: *step
+
       - name: run the build
         run: src/ci/scripts/run-build-from-ci.sh
         env:
-- 
cgit 1.4.1-3-g733a5