fix build (?)

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