mirror of
https://github.com/docker-library/php.git
synced 2025-04-19 03:42:14 +03: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.