diff options
| author | Michael Grunder <michael.grunder@gmail.com> | 2022-04-23 14:21:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-23 14:21:22 -0700 |
| commit | e23d91c97b69c95e4131f3398fe1f3bafc1e7c33 (patch) | |
| tree | 3145f0f8a9d2ed7026173f1228402a2df9ad8731 | |
| parent | 34211ad5426c7662938876014f67e83fc5be3a2d (diff) | |
| parent | aed9ce4462c82ae0ee0724bacdd82acf25c226b0 (diff) | |
Merge pull request #1061 from yossigo/update-redis-apt
Use official repository for redis package.
| -rw-r--r-- | .github/workflows/build.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 81c6f85..a071628 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -14,7 +14,8 @@ jobs: - name: Install dependencies 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 install -y redis-server valgrind libevent-dev |