7a819caef6
Delaying the check if a closed PR was closed by a merge or just closed by 30 seconds allows for Github to have time to update the PR to be associated to the commit which closed the PR. Without this delay, a race condition can exist in which we check for how a PR was closed before this association is made. PR Close #40181 |
||
---|---|---|
.. | ||
build | ||
config | ||
publish | ||
set-dist-tag | ||
stamping | ||
versioning | ||
BUILD.bazel | ||
cli.ts |