Remove outdated labels

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

Sign in to view logs

Triggered via pull request April 24, 2024 13:22

jrfnl

closed #309

Status Success

Total duration 18s

Artifacts –

label-remove-outdated.yml

on: pull_request_target

Clean up labels on issue close

Clean up labels on PR merge

Clean up labels on PR close