From 11359bb5c8713c0103df720ed5e1a31e4b0bdf6d Mon Sep 17 00:00:00 2001 From: Juan Cruz Viotti Date: Wed, 19 Nov 2025 15:05:43 -0400 Subject: [PATCH] Add a CI script to catch uncommitted files Signed-off-by: Juan Cruz Viotti --- .github/workflows/cd.yml | 1 + .github/workflows/ci.yml | 1 + scripts/ci-quality-no-uncommitted-files.sh | 11 +++++++++++ 3 files changed, 13 insertions(+) create mode 100755 scripts/ci-quality-no-uncommitted-files.sh diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml index 8f67952..24e64db 100644 --- a/.github/workflows/cd.yml +++ b/.github/workflows/cd.yml @@ -22,6 +22,7 @@ jobs: - run: make lint - run: make test - run: make dist + - run: ./scripts/ci-quality-no-uncommitted-files.sh - run: gh config set prompt disabled env: diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6dace2a..fa05c69 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -22,3 +22,4 @@ jobs: - run: make lint - run: make test - run: make dist + - run: ./scripts/ci-quality-no-uncommitted-files.sh diff --git a/scripts/ci-quality-no-uncommitted-files.sh b/scripts/ci-quality-no-uncommitted-files.sh new file mode 100755 index 0000000..2862ef0 --- /dev/null +++ b/scripts/ci-quality-no-uncommitted-files.sh @@ -0,0 +1,11 @@ +#!/bin/sh + +set -o errexit +set -o nounset + +if [ -n "$(git status --porcelain)" ] +then + echo "ERROR: Found uncommitted files in repository:" >&2 + git status --porcelain >&2 + exit 1 +fi