diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8eeded55..afe45a31 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -58,11 +58,11 @@ jobs: run: make test - name: Generate Prelude HTML - if: ${{ (matrix.ghc == martix.deploy-ghc) && (github.event_name != 'pull_request') }} + if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.event_name != 'pull_request') }} run: make libHtml - name: Deploy Prelude HTML - if: ${{ (matrix.ghc == martix.deploy-ghc) && (github.event_name != 'pull_request') }} + if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.event_name != 'pull_request') }} uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN }}