From 82c21c0177c162902985ab6edf762ef7e4e3d099 Mon Sep 17 00:00:00 2001
From: Lena <lena@omega>
Date: Sun, 23 Aug 2026 00:00:00 +0000
Subject: 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.
---
 ci/verify-repro.sh | 2 --
 1 file changed, 2 deletions(-)

(limited to 'ci/verify-repro.sh')

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
-- 
cgit v1.2.3