diff options
| author | Lena <lena@omega> | 2026-08-23 00:00:00 +0000 |
|---|---|---|
| committer | Lena <lena@omega> | 2026-08-23 00:00:00 +0000 |
| commit | 82c21c0177c162902985ab6edf762ef7e4e3d099 (patch) | |
| tree | 0add9ec3c01f34cda0a28220c2cc724a32d70d87 /ci/verify-repro.sh | |
| parent | 174521e494159bb0e65c551b440fe732767bdd6d (diff) | |
| download | rsend-82c21c0177c162902985ab6edf762ef7e4e3d099.tar.gz | |
ci: check the Kotlin pin and refuse a dirty repro build
Every other version repeated outside ./versions is asserted in test.sh.
KOTLIN_VERSION was not, so bumping it would leave a stale version in a
license notice with nothing to catch it.
In verify-repro the two git diff calls preceded the status check, so
under set -eu a dirty tree exited 1 with no output and the message below
was never reached. git status --porcelain already covers staged,
unstaged and untracked changes.
Diffstat (limited to 'ci/verify-repro.sh')
| -rwxr-xr-x | ci/verify-repro.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ci/verify-repro.sh b/ci/verify-repro.sh index 605ec77..36d1f51 100755 --- a/ci/verify-repro.sh +++ b/ci/verify-repro.sh @@ -11,8 +11,6 @@ trap 'rm -rf "$tmp"' 0 1 2 3 15 a="$tmp/a/src" b="$tmp/a-much-longer-path/b/src" -git -C "$root" diff --quiet -git -C "$root" diff --cached --quiet status=$(git -C "$root" status --porcelain --untracked-files=normal) [ -z "$status" ] || { echo "verify-repro: tracked and untracked source must be clean" >&2 |