Skip to content

Merge branch 'qiaojunfeng:main' into main #1

Merge branch 'qiaojunfeng:main' into main

Merge branch 'qiaojunfeng:main' into main #1

Workflow file for this run

# name: Publish docs via GitHub Pages
# on:
# push:
# branches:
# - main
# jobs:
# build:
# name: Deploy docs
# runs-on: ubuntu-latest
# steps:
# - name: Checkout
# uses: actions/checkout@v4
# - name: Deploy docs
# uses: mhausenblas/mkdocs-deploy-gh-pages@1.26
# env:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}