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-04-05 23:23:03 +02:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
7b480532933c4827ecfcdb582a118f3de765bf47
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
