1
0
mirror of https://github.com/php/php-src.git synced 2026-04-18 13:31:27 +02:00
Commit Graph

2 Commits

Author SHA1 Message Date
Ilija Tovilo
1dc6dba014 Only check tracked files in verify-generated-files 2022-04-22 00:28:32 +02:00
Michael Voříšek
36de002cc6 Verify generated files are up to date in CI
Closes GH-8295
2022-04-21 23:25:47 +02:00