From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Mon, 21 Sep 2020 22:13:38 +0000 (+0200)
Subject: fix build (?)
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=7783ce504f10096c8495b4ec9448b5d0e5a097c3;p=gwion.git

fix build (?)
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 335bc21d..ad44c526 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -80,8 +80,7 @@ jobs:
     - name: Get becnhmarks
       run: |
         git submodule update --init gwion-benchmark
-        cd benchmark
-        git checkout results
+        cd gwion-benchmark
         git pull
 
     - name: Build book