get rid of broken CI since we're just using plain markdown for now

.github/workflows/ci.yml

@@ -26,46 +26,3 @@ jobs:
       run: |
         opam exec -- easycrypt runtest config/tests.config units
 
-  generate-pages:
-    name: Generate GitHub Pages
-    runs-on: ubuntu-latest
-    container:
-      image: ghcr.io/easycrypt/ec-build-box
-    steps:
-    - uses: actions/checkout@v4
-    - name: Install pandoc
-      run: |
-        sudo apt-get install -y pandoc
-        pip3 install --user --break-system-packages panflute
-    - uses: actions/setup-node@v4
-      with:
-        node-version: 22
-    - name: Run pandoc & generate pages
-      run: |
-        make -C replay setup-npm
-        make -C replay bundle
-        make pages
-    - name: Setup Pages
-      if: github.ref == 'refs/heads/main'
-      uses: actions/configure-pages@v3
-    - name: Upload Artifact
-      if: github.ref == 'refs/heads/main'
-      uses: actions/upload-pages-artifact@v1
-      with:
-        path: "./_pages"
-
-  deploy-pages:
-    if: github.ref == 'refs/heads/main'
-    needs: [generate-pages]
-    runs-on: ubuntu-latest
-    name: Deploy to GitHub Pages
-    permissions:
-      pages: write
-      id-token: write
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v2