Skip to content

TypehintHelper: remove unneeded default param value #3157

TypehintHelper: remove unneeded default param value

TypehintHelper: remove unneeded default param value #3157

Triggered via pull request April 28, 2025 16:26
Status Success
Total duration 29s
Artifacts

merge-bot-pr.yml

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