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-07 16:13:32 +02:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
255e08ac56539f07cdbfa2f32922f20f7d21de5c
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
