Unverified Commit e23d91c9 authored by Michael Grunder's avatar Michael Grunder Committed by GitHub
Browse files

Merge pull request #1061 from yossigo/update-redis-apt

Use official repository for redis package.
parents 34211ad5 aed9ce44
...@@ -14,7 +14,8 @@ jobs: ...@@ -14,7 +14,8 @@ jobs:
- name: Install dependencies - name: Install dependencies
run: | run: |
sudo add-apt-repository -y ppa:chris-lea/redis-server 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-get update
sudo apt-get install -y redis-server valgrind libevent-dev sudo apt-get install -y redis-server valgrind libevent-dev
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment