Remove outdated labels

4.0 dev upgrade guide: add section about the new parameter types #20

Sign in to view logs

Triggered via pull request September 11, 2025 23:15

jrfnl

closed #55

Status Success

Total duration 29s

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