Merge pull request #402 from agda/orestis/fix-web-lib-test

[hotfix] CI: valid YML syntax

Author: omelkonian

.github/workflows/ci.yml

@@ -70,13 +70,13 @@ jobs:
         destination_dir: lib
 
     - name: Generate test-suite HTML
-      if: ${{ (matrix.ghc == martix.deploy-ghc) && (github.event_name != 'pull_request') }}
+      if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.event_name != 'pull_request') }}
       run: |
         sudo apt-get install -y pandoc zsh
         make testHtml
 
     - name: Deploy test-suite 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 }}