This sets up the workflows to support GitHub merge queues. The primary motivation is to ensure that tests are done against the latest HEAD, which is an issue here because unfortunately PRs tend to be a little old. This will require followup from the infrastructure team to complete.
This sets up the workflows to support GitHub merge queues. The primary motivation is to ensure that tests are done against the latest HEAD, which is an issue here because unfortunately PRs tend to be a little old. This will require followup from the infrastructure team to complete.