:wrench: Fix build

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6127d3b31621c32a5ace93d29cd3fed74309ce71..d6266e3340237442a4d9fa65cc652938785ea88f 100644 (file)
--- 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