Skip to content

chore(deps): update dependency vite to v7 (#631) #526

chore(deps): update dependency vite to v7 (#631)

chore(deps): update dependency vite to v7 (#631) #526

Workflow file for this run

name: Documentation
on:
push:
branches:
- main
tags:
- v*
pull_request:
branches:
- main
paths:
- ".github/workflows/docs.yaml"
- "docs/**"
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v5
with:
fetch-depth: 0 # Fetch all branches to include 'gh-pages' branch
- uses: actions/setup-python@v6
with:
python-version: 3.x
- uses: actions/cache@v4
with:
key: mkdocs-material-${{ github.ref }}
path: .cache
restore-keys: |
mkdocs-material-
- name: Install dependencies
run: pip install mkdocs-material mike
- name: Lint Markdown files
uses: DavidAnson/markdownlint-cli2-action@v20
with:
config: 'docs/.markdownlint.jsonc'
globs: 'docs/**/*.md'
- name: Build pages
run: mkdocs build --strict
- name: Configure Git user
run: |
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
- name: Deploy pages (unstable)
if: github.ref == 'refs/heads/main'
run: mike deploy --push --update-aliases unstable
- name: Deploy pages (new release)
if: startsWith(github.ref, 'refs/tags/')
run: |
mike deploy --push --update-aliases ${{ github.ref_name }} latest
echo "Deployed version ${{ github.ref_name }} to GitHub Pages"