Use new ReBench version

Signed-off-by: Stefan Marr <git@stefan-marr.de>
smarr · Mar 17, 2024 · 4e1a166 · 4e1a166
1 parent f7e79e0
commit 4e1a166
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -82,7 +82,7 @@ jobs:
 
       - name: Install ReBench
         run: |
-          git clone --depth 1 https://github.com/smarr/rebench.git
+          git clone --depth 1 --branch rebenchdb https://github.com/smarr/rebench.git
           pushd rebench
           pip install .
           popd