Skip to content

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

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

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

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

label-sync.yml

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