From 4a426305fded4346b8e940790ed3ef2578220ffb Mon Sep 17 00:00:00 2001 From: Brian Jin <35789537+kikashy@users.noreply.github.com> Date: Tue, 20 Oct 2026 12:50:46 -0400 Subject: [PATCH] Re-vendor scripts/dev/check.sh at devkit v0.2.0 Replace scripts/dev/check.sh with templates/check.sh at judgment-pack-devkit v0.2.0 (its line 2 now names the kit version). Co-Authored-By: Claude Sonnet 5.5 Signed-off-by: Brian Jin <35789537+kikashy@users.noreply.github.com> --- scripts/dev/check.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/dev/check.sh b/scripts/dev/check.sh index 762a3dc..d341c9e 100755 --- a/scripts/dev/check.sh +++ b/scripts/dev/check.sh @@ -1,4 +1,5 @@ #!/usr/bin/env bash +# from judgment-pack-devkit v0.2.0 (templates/check.sh) # scripts/dev/check.sh [--setup] [--only a,b] [--skip a,b] [--all] [--manifest FILE] # Runs the checks of dev.json in order and prints one summary block; exit status = failures. # Stops at the first failure unless --all. --setup runs the manifest's setup steps instead.