From 7783ce504f10096c8495b4ec9448b5d0e5a097c3 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Tue, 22 Sep 2020 00:13:38 +0200
Subject: [PATCH] fix build (?)

---
 .github/workflows/build.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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
-- 
2.43.0