This website requires JavaScript.
Explore
Help
Register
Sign In
php
/
archived-php-src
Watch
1
Star
0
Fork
0
You've already forked archived-php-src
mirror of
https://github.com/php/php-src.git
synced
2026-03-24 08:12:21 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
PHP-8.0.30
Add File
New File
Upload File
Apply Patch
archived-php-src
/
.github
/
scripts
/
windows
History
Michael Voříšek
b43e49437c
Prepare for Windows CI with Github Actions
2022-10-09 18:44:59 +02:00
..
build_task.bat
Prepare for Windows CI with Github Actions
2022-10-09 18:44:59 +02:00
build.bat
Prepare for Windows CI with Github Actions
2022-10-09 18:44:59 +02:00
test_task.bat
Prepare for Windows CI with Github Actions
2022-10-09 18:44:59 +02:00
test.bat
Prepare for Windows CI with Github Actions
2022-10-09 18:44:59 +02:00
