Skip to content
Remove outdated labels

Tokenizer/PHP: improved tokenization of fully qualified exit/die/true/false/null #1035

Sign in to view logs

Tokenizer/PHP: improved tokenization of fully qualified exit/die/true/false/null

Tokenizer/PHP: improved tokenization of fully qualified exit/die/true/false/null #1035

Triggered via pull request September 4, 2025 13:45
@jrfnljrfnl
closed #1206
Status Success
Total duration 10s
Artifacts –

label-remove-outdated.yml

on: pull_request_target
Clean up labels on issue close
0s
Clean up labels on issue close
Clean up labels on PR (re-)review request
0s
Clean up labels on PR (re-)review request
Clean up labels on PR merge
6s
Clean up labels on PR merge
Clean up labels on PR close
0s
Clean up labels on PR close
Fit to window
Zoom out
Zoom in