diff options
author | Pavlo Yatsukhnenko <yatsukhnenko@gmail.com> | 2022-06-29 20:03:40 +0300 |
---|---|---|
committer | Pavlo Yatsukhnenko <yatsukhnenko@gmail.com> | 2022-06-29 20:03:40 +0300 |
commit | 9ff5c33a179909ff75003517c8066b8c28c428e7 (patch) | |
tree | 71033c6a4f60399e97baedf73a974f832287d8b4 | |
parent | de3635dad515279e376d395671f14a5f6e729d61 (diff) |
Install redis from official repository
-rw-r--r-- | .github/workflows/ci.yml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index fcd2de84..5f98241a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -26,10 +26,9 @@ jobs: tools: none - name: Install dependencies run: | - sudo add-apt-repository ppa:redislabs/redis - sudo add-apt-repository ppa:ondrej/php + curl -fsSL https://packages.redis.io/gpg | sudo gpg --dearmor -o /usr/share/keyrings/redis-archive-keyring.gpg + echo "deb [signed-by=/usr/share/keyrings/redis-archive-keyring.gpg] https://packages.redis.io/deb $(lsb_release -cs) main" | sudo tee /etc/apt/sources.list.d/redis.list sudo apt-get update - sudo apt --fix-broken install sudo apt-get install redis valgrind libzstd-dev liblz4-dev - name: Build phpredis run: | @@ -48,11 +47,11 @@ jobs: run: | mkdir -p tests/nodes echo -n > tests/nodes/nodemap - for PORT in $(seq 7000 7006); do + for PORT in $(seq 7000 7005); do redis-server --port $PORT --cluster-enabled yes --cluster-config-file $PORT.conf --daemonize yes --aclfile tests/users.acl --acl-pubsub-default allchannels echo 127.0.0.1:$PORT >> tests/nodes/nodemap done - echo yes | redis-cli --cluster create $(seq -f 127.0.0.1:%g 7000 7006) --cluster-replicas 1 --user phpredis -a phpredis + echo yes | redis-cli --cluster create $(seq -f 127.0.0.1:%g 7000 7005) --cluster-replicas 1 --user phpredis -a phpredis - name: Start redis sentinel run: | wget raw.githubusercontent.com/redis/redis/7.0/sentinel.conf |