From 94cf63ce26ca98e0d78d5ed2dcacfe85efcf5eb0 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:10:51 +0200
Subject: [PATCH] fix build (?)

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 49e425ac..335bc21d 100644
--- 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: |
-- 
2.43.0