make Makefile.coq with make

coq-community · Jul 2, 2021 · 19d96c5 · 19d96c5
1 parent 38a46ad
commit 19d96c5
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/buid-documentation.yml b/.github/workflows/buid-documentation.yml
@@ -21,14 +21,15 @@ jobs:
         uses: actions/checkout@v2
 
       - name: Compile Coq-Doc
-        if: github.event_name == 'push' && github.ref == 'refs/heads/master'
+        #if: github.event_name == 'push' && github.ref == 'refs/heads/master'
         uses: coq-community/docker-coq-action@v1
         with:
           custom_image: ${{ matrix.image }}
           before_script: |
             startGroup "Create Makefile.coq and add permission"
-              make || true
               sudo chown -R coq:coq .
+              make Makefile.coq
+              sudo chown -R coq:coq Makefile.coq
             endGroup
           script: |
             startGroup "Build documentation"
@@ -51,10 +52,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