mirror of
https://github.com/docker-library/php.git
synced 2025-08-15 22:03:00 +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.