chg: Clone redis the GHA way

pull/790/head
Raphaël Vinot 2023-09-25 15:53:17 +02:00
parent da43d04841
commit ca18a95fc7
1 changed files with 7 additions and 2 deletions

View File

@ -27,12 +27,17 @@ jobs:
python-version: ${{matrix.python-version}} python-version: ${{matrix.python-version}}
cache: 'poetry' cache: 'poetry'
- name: Clone Redis
uses: actions/checkout@v4
with:
repository: redis/redis
path: ../redis
ref: 7.2
- name: Install and setup redis - name: Install and setup redis
run: | run: |
pushd .. pushd ..
git clone https://github.com/antirez/redis.git
pushd redis pushd redis
git checkout 7.0
make make
popd popd
popd popd