add hack/verify-typecheck-providerless.sh

This commit is contained in:
Benjamin Elder
2019-11-19 09:43:18 -08:00
parent 94cf731978
commit b24dbac09a
2 changed files with 28 additions and 1 deletions

View File

@@ -39,7 +39,8 @@ EXCLUDED_PATTERNS=(
# Exclude typecheck in certain cases, if they're running in a separate job.
if [[ ${EXCLUDE_TYPECHECK:-} =~ ^[yY]$ ]]; then
EXCLUDED_PATTERNS+=(
"verify-typecheck.sh" # runs in separate typecheck job
"verify-typecheck.sh" # runs in separate typecheck job
"verify-typecheck-providerless.sh" # runs in separate typecheck job
)
fi