clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-21 18:07:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
445d9502bf
php-src/.github
History
Ilija Tovilo 1dc6dba014
Only check tracked files in verify-generated-files
2022-04-22 00:28:32 +02:00
..
actions Only check tracked files in verify-generated-files 2022-04-22 00:28:32 +02:00
scripts Migrate CI to GitHub actions 2022-02-23 14:32:50 +01:00
workflows Verify generated files are up to date in CI 2022-04-21 23:25:47 +02:00
nightly_matrix.php Add nightly for GitHub actions 2022-04-09 17:08:18 +02:00