Skip to content

Update PHPStorm stubs and patch #438

Update PHPStorm stubs and patch

Update PHPStorm stubs and patch #438

Triggered via pull request September 5, 2024 16:20
@VincentLangletVincentLanglet
ready_for_review #3393
Status Success
Total duration 13s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr-marked-as-ready.yml

on: pull_request_target
Comment on pull request
3s
Comment on pull request
Fit to window
Zoom out
Zoom in