Skip to content

Merge pull request #844 from hyperledger/dependabot/pip/mike-2.1.2 #14

Merge pull request #844 from hyperledger/dependabot/pip/mike-2.1.2

Merge pull request #844 from hyperledger/dependabot/pip/mike-2.1.2 #14

Workflow file for this run

name: publish-docs
on:
push:
# Publish `main` as latest, and when pushes are done to branches with "v-doc" prefix
branches:
- main
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0 # fetch all commits/branches
- uses: actions/setup-python@v5
with:
python-version: 3.x
- uses: actions/cache@v4
with:
key: ${{ github.ref }}
path: .cache
- name: Install Python dependencies
run: pip install -r ./mkdocs-requirements.txt
- 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 docs
run: |
python --version
# Generate the content into the docs folder
code/genSite.sh
mike deploy --push --update-aliases main latest
mike set-default latest