Skip to content
Check Pull Request labels

Errant GTID Metrics Refactor #11581

Sign in to view logs

Errant GTID Metrics Refactor

Errant GTID Metrics Refactor #11581

Triggered via pull request July 31, 2023 09:05
@vitess-botvitess-bot[bot]
labeled #13670
planetscale:fix-errant-gtid-map
Status Cancelled
Total duration 1m 2s
Artifacts –

check_label.yml

on: pull_request
Check Pull Request labels
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