name: Deploy the dev documentation on: push: paths: - 'docs/**' - mkdocs.yml branches: - main jobs: deploy: name: Deploy the dev documentation runs-on: ubuntu-18.04 steps: - name: Checkout main uses: actions/checkout@v3 with: fetch-depth: 0 persist-credentials: true - uses: actions/setup-python@v4 with: python-version: 3.x - name: Install dependencies run: | pip install git+https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material-insiders.git pip install -r docs/build/requirements.txt env: GH_TOKEN: ${{ secrets.MKDOCS_AQUA_BOT }} - name: Configure the git user run: | git config user.name "knqyf263" git config user.email "knqyf263@gmail.com" - name: Deploy the dev documents run: mike deploy --push dev