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

Pin ubuntu version for KeyDB

Browse Source
This commit is contained in:
michael-grunder
2024-10-14 16:09:03 -07:00
committed by Michael Grunder
parent 985b0313fb
commit eb66fc9e2f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
+1 -1
View File
@@ -68,7 +68,7 @@ jobs:
grep "REDIS_SHARED_LIBADD.*-L$GITHUB_WORKSPACE/libzstd" Makefile
ubuntu:
runs-on: ubuntu:23.04
runs-on: ubuntu-22.04
continue-on-error: false
strategy:
fail-fast: false