Neutralize obsolete verify scripts

This is all obsolete or covered by verify-codegen now.
This commit is contained in:
Tim Hockin
2022-10-01 15:34:32 -07:00
parent 70c1c795e8
commit e477d45f56
4 changed files with 5 additions and 449 deletions

View File

@@ -37,13 +37,6 @@ EXCLUDED_PATTERNS=(
"verify-licenses.sh" # runs in a separate job to monitor availability of the dependencies periodically
)
# Exclude generated-files-remake in certain cases, if they're running in a separate job.
if [[ ${EXCLUDE_FILES_REMAKE:-} =~ ^[yY]$ ]]; then
EXCLUDED_PATTERNS+=(
"verify-generated-files-remake.sh" # run in a separate job
)
fi
# Exclude typecheck in certain cases, if they're running in a separate job.
if [[ ${EXCLUDE_TYPECHECK:-} =~ ^[yY]$ ]]; then
EXCLUDED_PATTERNS+=(