Remove outdated labels

GH Actions: minor tweaks #341

Sign in to view logs

Triggered via pull request November 23, 2023 08:28

dingo-d

closed #2405

Status Success

Total duration 9s

Artifacts –

manage-labels.yml

on: pull_request_target

Clean up labels on PR merge

Clean up labels on PR close

Clean up labels on issue close