Test that the shipped data stays under 100 MiB and that publish_release.py stops on a tag at another commit, both in the gate

2026-10-12 17:35:58 +02:00
parent 95af089778
commit 2c9ff3b014
4 changed files with 107 additions and 1 deletions
@@ -27,7 +27,7 @@ jobs:
          else
            base='${{ github.event.before }}'
          fi
-          if git diff --quiet "$base"...HEAD -- '*.go' go.mod go.sum Dockerfile .dockerignore .github data testdata README.md; then
+          if git diff --quiet "$base"...HEAD -- '*.go' go.mod go.sum Dockerfile .dockerignore .github data release-tooling testdata README.md; then
            echo "code=false" >> "$GITHUB_OUTPUT"
          else
            echo "code=true" >> "$GITHUB_OUTPUT"