mirror of
https://github.com/docker-library/php.git
synced 2026-01-13 05:35:54 +00:00
This makes it print out a diff when there is an error (instead of just a list of files that are wrong), which will make the error more obvious. I also added `workflow_dispatch` so we can run it manually.