Skip to content

Commit

Permalink
Switch Check Types to Commit Diff for on merge pipeline (#167206)
Browse files Browse the repository at this point in the history
## 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.
  • Loading branch information
Ikuni17 committed Sep 26, 2023
1 parent 5ede05f commit 3072343
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions .buildkite/pipelines/on_merge.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 3072343

Please sign in to comment.