From b9080d9a4da97618101e7a976c09e6c86a3cca14 Mon Sep 17 00:00:00 2001
From: Ville Vesilehto <ville@vesilehto.fi>
Date: Tue, 31 Mar 2026 16:24:50 +0300
Subject: [PATCH] ci: verify generated files are up to date (#7987)

---
 .github/workflows/verify-make-gen.yml | 34 +++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 .github/workflows/verify-make-gen.yml

diff --git a/.github/workflows/verify-make-gen.yml b/.github/workflows/verify-make-gen.yml
new file mode 100644
index 000000000..e4f69cf89
--- /dev/null
+++ b/.github/workflows/verify-make-gen.yml
@@ -0,0 +1,34 @@
+name: Verify Generated Files
+on: [push, pull_request]
+permissions:
+  contents: read
+
+jobs:
+  verify-generate:
+    name: Verify make gen
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd  # v6.0.2
+        with:
+          persist-credentials: false
+      - uses: actions/setup-go@4b73464bb391d4059bd26b0524d20df3927bd417  # v6.3.0
+        with:
+          go-version-file: .go-version
+      - name: Run make gen
+        run: make gen
+      - name: Check for uncommitted changes
+        run: |
+          UNTRACKED=$(git ls-files --others --exclude-standard)
+          if [ -n "$UNTRACKED" ]; then
+            echo "ERROR: make gen produced untracked files:"
+            echo "$UNTRACKED"
+            echo ""
+            echo "Run 'make gen' and commit the result."
+            exit 1
+          fi
+          if ! git diff --exit-code; then
+            echo ""
+            echo "ERROR: Generated files are out of date."
+            echo "Run 'make gen' and commit the result."
+            exit 1
+          fi