fix(UI): fix tooltip viewport overflow and mobile chapter title overl… #24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy Docs | |
| on: | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: false | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Setup Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.x' | |
| - name: Install dependencies | |
| run: | | |
| pip install mkdocs-material mkdocs-minify-plugin mkdocs-git-revision-date-localized-plugin mkdocs-redirects mkdocs-awesome-pages-plugin | |
| - name: Build site | |
| run: mkdocs build | |
| - name: Check if GitHub Pages is configured | |
| id: check_pages | |
| continue-on-error: true | |
| run: | | |
| # Check if the pages environment exists by checking repository settings | |
| if gh api "repos/${{ github.repository }}/pages" &>/dev/null; then | |
| echo "pages_enabled=true" >> "$GITHUB_OUTPUT" | |
| echo "GitHub Pages is configured" | |
| else | |
| echo "pages_enabled=false" >> "$GITHUB_OUTPUT" | |
| echo "GitHub Pages is not configured - skipping deployment" | |
| fi | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| - name: Upload artifact | |
| if: steps.check_pages.outputs.pages_enabled == 'true' | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: ./site | |
| - name: Setup Pages environment | |
| if: steps.check_pages.outputs.pages_enabled == 'true' | |
| uses: actions/configure-pages@v5 | |
| - name: Deploy to GitHub Pages | |
| if: steps.check_pages.outputs.pages_enabled == 'true' | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |