[ re-fix #399 ] CI: deploy on master only

Author: omelkonian

.github/workflows/ci.yml

@@ -58,25 +58,25 @@ jobs:
       run: make test
 
     - name: Generate Prelude HTML
-      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.event_name != 'pull_request') }}
+      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.ref == 'refs/heads/master') }}
       run: make libHtml
 
     - name: Deploy Prelude HTML
-      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.event_name != 'pull_request') }}
+      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.ref == 'refs/heads/master') }}
       uses: peaceiris/actions-gh-pages@v3
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: html
         destination_dir: lib
 
     - name: Generate test-suite HTML
-      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.event_name != 'pull_request') }}
+      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.ref == 'refs/heads/master') }}
       run: |
         sudo apt-get install -y pandoc zsh
         make testHtml
 
     - name: Deploy test-suite HTML
-      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.event_name != 'pull_request') }}
+      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.ref == 'refs/heads/master') }}
       uses: peaceiris/actions-gh-pages@v3
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}