Skip to content

[DevTools] Migrate from phpro/grumphp to phpro/grumphp-shim (#43) #82

[DevTools] Migrate from phpro/grumphp to phpro/grumphp-shim (#43)

[DevTools] Migrate from phpro/grumphp to phpro/grumphp-shim (#43) #82

Triggered via pull request April 14, 2026 18:52
Status Success
Total duration 9s
Artifacts

label-sync.yml

on: pull_request
copy-issue-labels
6s
copy-issue-labels
Fit to window
Zoom out
Zoom in