Skip to content

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

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

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

Triggered via pull request April 14, 2026 15:55
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