Check Pull Request labels

[release-15.0] Optimize release notes generation to use GitHub Milestones (#13398) #8693

Sign in to view logs

Triggered via pull request July 26, 2023 08:11

frouioui

synchronize #13620

planetscale:bp-13398-to-15

Status Cancelled

Total duration 1m 43s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

release_notes_label.yml

on: pull_request

Check Pull Request labels

Annotations

1 error

Check Pull Request labels

Canceling since a higher priority waiting request for 'format('{0}-{1}', refs/pull/13620/merge, 'Check Pull Request labels')' exists