diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2023-01-11 13:44:11 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-11 18:44:11 +0000 |
| commit | 6ee5563f6860758a18f35cee412d5fe3e139cf7c (patch) | |
| tree | 0a0bc347c13514ab4fb3bb7895a734f4c493cb21 /ext | |
| parent | 8c3c02354d6278e06561aff3cc5847407dcc0244 (diff) | |
chore(ci): do not run CI on draft PRs unless explicitly run via commit message (#17350)
This will help us reduce CI time during development. The CI can be
explicitly run on draft PRs by adding `[ci]` to the commit message.
Diffstat (limited to 'ext')
0 files changed, 0 insertions, 0 deletions