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.