Skip to content
Check Pull Request labels

Errant GTID Metrics Refactor #11580

Sign in to view logs

Errant GTID Metrics Refactor

Errant GTID Metrics Refactor #11580

Triggered via pull request July 31, 2023 09:05
@GuptaManan100GuptaManan100
opened #13670
planetscale:fix-errant-gtid-map
Status Cancelled
Total duration 1m 4s
Artifacts –

check_label.yml

on: pull_request
Check Pull Request labels
0s
Check Pull Request labels
Fit to window
Zoom out
Zoom in

Annotations

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