Switch Check Types to Commit Diff for on merge pipeline (#167206)

## Summary

After merging #167060, `Check Types` is going to fail in the on merge
pipeline until all type errors are triaged. For now, lets use the commit
diff type check.
This commit is contained in:
Brad White 2023-09-26 01:45:36 -06:00 committed by GitHub
parent 5ede05f558
commit 307234384d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -154,8 +154,11 @@ steps:
- exit_status: '-1'
limit: 3
- command: .buildkite/scripts/steps/check_types.sh
label: 'Check Types'
- command: .buildkite/scripts/steps/check_types_commits.sh
label: 'Check Types Commit Diff'
# TODO: Enable in #166813 after fixing types
# - command: .buildkite/scripts/steps/check_types.sh
# label: 'Check Types'
agents:
queue: n2-16-spot
timeout_in_minutes: 60