Skip to content

Fix rendering glitch of Popover arrow on low-dpi displays #199

Fix rendering glitch of Popover arrow on low-dpi displays

Fix rendering glitch of Popover arrow on low-dpi displays #199

Workflow file for this run

name: Docs
on: [ pull_request ]
permissions:
contents: write
jobs:
build:
name: Build Docs
runs-on: ubuntu-20.04
steps:
- name: Clone repository
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: 3.x
- name: Get cache ID
run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
- name: Restore cache
uses: actions/cache@v4
with:
key: mkdocs-material-${{ env.cache_id }}
path: .cache
restore-keys: |
mkdocs-material-
- name: Install MkDocs
run: pip install 'mkdocs-material>=9.0.0,<10.0.0'
- name: Build MkDocs
run: mkdocs build