Skip to content

Make dumpType() more consistent with PHPDoc types #2747

Make dumpType() more consistent with PHPDoc types

Make dumpType() more consistent with PHPDoc types #2747

Triggered via pull request October 8, 2024 17:43
Status Success
Total duration 31s
Artifacts

merge-bot-pr.yml

on: pull_request
Automerge PRs
18s
Automerge PRs
Fit to window
Zoom out
Zoom in