fix build (?)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 335bc21dcc02ddf35a3bfb4bb06d1d87a4c53cd2..ad44c526989600be04299a856b62a4d15cb27926 100644 (file)
--- 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