Remove outdated labels

GH Actions: apply work-around for testing against PHP 8.5 #1017

Sign in to view logs

Triggered via pull request August 15, 2025 18:45

jrfnl

closed #1191

Status Success

Total duration 6s

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