Remove outdated labels

GH Actions: work around intermittent apt-get errors #379

Sign in to view logs

Triggered via pull request April 25, 2024 09:25

jrfnl

closed #2444

Status Success

Total duration 12s

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