mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
That was broken when CI was moved to GH, since `APPVEYOR_BUILD_FOLDER` is no longer set; instead we use `GITHUB_WORKSPACE` which has the same meaning. Closes GH-15896.