Remove outdated labels

GH Actions: various updates to the workflows #7

Sign in to view logs

Triggered via pull request November 3, 2023 22:26

jrfnl

closed #315

Status Success

Total duration 11s

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