Remove outdated labels

GH Actions/test: fix coverage runs #921

Sign in to view logs

Triggered via pull request May 10, 2025 11:42

jrfnl

closed #1085

Status Success

Total duration 9s

Artifacts –

label-remove-outdated.yml

on: pull_request_target

Clean up labels on issue close

Clean up labels on PR (re-)review request

Clean up labels on PR merge

Clean up labels on PR close