mirror/phpredis
1
0
Fork 0
mirror of https://github.com/phpredis/phpredis.git synced 2026-06-19 07:35:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: Use the git sha instead of branch name for Windows CI

Browse Source 
The `/` gets turned into a path separator breaking CI on Windows. This
commit attempts to send the commit sha instead which will never have
slashes.
This commit is contained in:
michael-grunder
2026-06-14 09:36:26 -07:00
committed by Michael Grunder
parent 738cedd284
commit f14ce6007b
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
+5
View File
@@ -288,6 +288,11 @@ jobs:
php-version: ${{ matrix.php }} php-version: ${{ matrix.php }}
ts: ${{ matrix.ts }} ts: ${{ matrix.ts }}
run-tests: false run-tests: false
# The builder embeds the ref in the build-log/artifact filename without
# sanitizing it. A branch like "fix/foo" turns the "/" into a path
# separator on Windows and the build fails. Pass the commit SHA so the
# name is always slash-free.
extension-ref: ${{ github.sha }}
pecl: pecl:
runs-on: ubuntu-latest runs-on: ubuntu-latest