Change pipeline to make Makefile.coq (#42)

* Make Makefile.coq using make (without error) * use maximal processus to make doc
coq-community · Jul 2, 2021 · 5b3f400 · 5b3f400
1 parent 8dc3dfa
commit 5b3f400
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/buid-documentation.yml b/.github/workflows/buid-documentation.yml
@@ -27,12 +27,12 @@ jobs:
           custom_image: ${{ matrix.image }}
           before_script: |
             startGroup "Create Makefile.coq and add permission"
-              make || true
               sudo chown -R coq:coq .
+              make Makefile.coq
             endGroup
           script: |
             startGroup "Build documentation"
-              make -j2 html
+              make -j`nproc` html
             endGroup
           uninstall: |
             startGroup "Clean"
@@ -51,10 +51,11 @@ jobs:
           latexmk_use_lualatex: true
 
       - name: Extract PDF and Coq-Doc
+        if: github.event_name == 'push' && github.ref == 'refs/heads/master'
         run: |
           mkdir -p public/doc public/theories
           cp doc/hydras.pdf public/doc/
-          cp -r theories/html public/theories/ || true
+          cp -r theories/html public/theories/
       # Depending on whether we are on master or not, we deploy to
       # GitHub Pages or as an artifact
       - name: Deploy to GitHub pages