PR Label Lint

feat: delete command and better edit #28

Sign in to view logs

Triggered via pull request November 9, 2024 05:55

gphorvath

opened #10

improve-editor

Status Cancelled

Total duration 2s

Artifacts –

label-lint.yaml

on: pull_request

Annotations

1 error

PR Label Lint

Canceling since a higher priority waiting request for 'scan-labels-refs/pull/10/merge' exists