Remove outdated labels

PHP 8.0 | Proposal for handling "namespaced names as single token" #241

Sign in to view logs

Triggered via issue April 17, 2025 19:53

jrfnl

closed #3041 c6c65ca

Status Success

Total duration 9s

Artifacts –

manage-labels.yml

on: issues

Clean up labels on issue close

Clean up labels on PR merge

Clean up labels on PR close