fix build (?)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 49e425acc268d1022e083140bea91f090877caf3..335bc21dcc02ddf35a3bfb4bb06d1d87a4c53cd2 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -81,7 +81,8 @@ jobs:
       run: |
         git submodule update --init gwion-benchmark
         cd benchmark
-        git checkout origin/results
+        git checkout results
+        git pull
 
     - name: Build book
       run: |