Skip to content

fix dead links

fix dead links #31

Workflow file for this run

name: Deploy MkDocs to GitHub Pages
on:
push:
branches:
- main
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.10'
- name: Install dependencies
run: |
pip install mkdocs-material
- name: Build MkDocs site
run: |
mkdocs build
- name: Deploy to GitHub Pages
env:
GH_TOKEN: ${{ secrets.GH_TOKEN }}
run: |
cd site
git init
git config user.name "github-actions[bot]"
git config user.email "actions@github.com"
git remote add origin https://x-access-token:${GH_TOKEN}@github.com/${{ github.repository }}
git checkout -b gh-pages
git add .
git commit -m "Deploy MkDocs site"
git push --force origin gh-pages