diff --git a/scripts/dev/changed_checks.py b/scripts/dev/changed_checks.py index 7101759..b4cbde1 100644 --- a/scripts/dev/changed_checks.py +++ b/scripts/dev/changed_checks.py @@ -1,5 +1,5 @@ #!/usr/bin/env python3 -# from judgment-pack-devkit v0.9.0 (lib/changed_checks.py) +# from judgment-pack-devkit v0.10.0 (lib/changed_checks.py) """changed_checks.py --root ROOT --manifest MANIFEST [--base BASE] [--label TEXT] Selects the check-list steps that the changed paths of a clone can affect, for diff --git a/scripts/dev/check.sh b/scripts/dev/check.sh index d560196..649e0b5 100755 --- a/scripts/dev/check.sh +++ b/scripts/dev/check.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# from judgment-pack-devkit v0.9.0 (templates/check.sh) +# from judgment-pack-devkit v0.10.0 (templates/check.sh) # scripts/dev/check.sh [--setup] [--only a,b | --changed [BASE]] [--skip a,b] [--all] [--manifest FILE] # Runs the checks of dev.json in order and prints one summary block; exit status = failures. # --changed runs only the checks jpdev.json maps the paths changed since the merge base of BASE diff --git a/scripts/dev/handover_check.sh b/scripts/dev/handover_check.sh index c983d28..31ff467 100755 --- a/scripts/dev/handover_check.sh +++ b/scripts/dev/handover_check.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# from judgment-pack-devkit v0.9.0 (lib/handover_check.sh) +# from judgment-pack-devkit v0.10.0 (lib/handover_check.sh) set -eu python3 - <<'PY'