From e1bd88334342b0e0e1cf81a55e07369f2925f243 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:15:49 +0200
Subject: [PATCH] fix build (?)

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ad44c526..62a6e1c1 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -22,13 +22,6 @@ jobs:
         path: mdr
         key: ${{ runner.os }}-mdr
 
-    - uses: actions/cache@v1
-      name: Results [ cache ]
-      id: results
-      with:
-        path: benchmark/results
-        key: ${{ runner.os }}-results
-
     - name: Mdr
       if: steps.mdr-bin.outputs.cache-hit != 'true'
       run: |
@@ -81,7 +74,7 @@ jobs:
       run: |
         git submodule update --init gwion-benchmark
         cd gwion-benchmark
-        git pull
+        git pull origin results
 
     - name: Build book
       run: |
-- 
2.43.0