Merge pull request #248 from jakob-bagterp/dependencies/setuptool-69.0.2 #75
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: MkDocs | |
on: | |
push: | |
branches: | |
- master | |
permissions: | |
contents: write | |
jobs: | |
deploy-docs-version: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
fetch-depth: 0 | |
- uses: actions/setup-python@v4 | |
with: | |
python-version: "3.10" | |
- name: Set release notes tag | |
run: | | |
export RELEASE_TAG_VERSION=${{ github.event.release.tag_name }} | |
echo "RELEASE_TAG_VERSION=${RELEASE_TAG_VERSION:1}" >> $GITHUB_ENV | |
- name: Install dependencies | |
run: pip install -r ./docs/requirements.txt | |
- name: Set up Git config | |
run: | | |
git config --global user.name ci-bot | |
git config --global user.email [email protected] | |
git config --global pull.rebase false | |
git lfs install | |
git lfs pull | |
git fetch origin gh-pages --depth=1 | |
git pull origin gh-pages --depth=1 --allow-unrelated-histories | |
- name: Deploy docs website and API reference | |
run: | | |
mike deploy --push --ignore --update-aliases ${RELEASE_TAG_VERSION} latest | |
mike set-default --push latest |