From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 18 Oct 2020 15:43:14 +0000 (+0200)
Subject: :wrench: Fix build
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=6df15f9a93e081ea32401ddd11b6f53c90a2496a;p=gwion.git

:wrench: Fix build
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6127d3b3..d6266e33 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -24,6 +24,10 @@ jobs:
       with:                                                                                                                                                                                 
          mdbook-version: 'latest'
 
+    - name: GIT things
+        git config --local user.email "action@github.com"
+        git config --local user.name "GitHub Action"
+
     - name: Get benchmarks
       run: |
         git submodule update --init gwion-benchmark
@@ -33,10 +37,8 @@ jobs:
     - name: Build book
       run: PATH=$PWD:$PATH make build
 
-    - name: GIT things
+    - name: Push book
       run: |
-        git config --local user.email "action@github.com"
-        git config --local user.name "GitHub Action"
         git add -f book
         git commit -m "add book"
         git remote set-url origin https://${{ secrets.GWION_TOKEN }}@github.com/Gwion/Gwion.git