Skip to content
CI Upstream

Remove PR labeler bot #12417

Sign in to view logs

Remove PR labeler bot

Remove PR labeler bot #12417

Triggered via pull request December 6, 2023 02:32
@TomNicholasTomNicholas
labeled #8525
TomNicholas:remove_PR_labeler_bot
Status Cancelled
Total duration 3s
Artifacts –

upstream-dev-ci.yaml

on: pull_request
detect upstream-dev ci trigger
detect upstream-dev ci trigger
Matrix: mypy-upstream-dev
Waiting for pending jobs
Matrix: upstream-dev
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI Upstream
Canceling since a higher priority waiting request for 'CI Upstream-refs/pull/8525/merge' exists