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 |
||
|---|---|---|
| .. | ||
| actions | ||
| test | ||
| BUILD.bazel | ||
| actions-error.ts | ||
| actions.ts | ||
| cli.ts | ||
| commit-message.ts | ||
| constants.ts | ||
| external-commands.ts | ||
| graphql-queries.ts | ||
| index.ts | ||
| pull-request-state.ts | ||
| release-notes.ts | ||