Merge pull request #154 from aai-institute/feature/deep-cat-operator #124
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: Documentation | |
on: | |
push: | |
branches: [main, bugfix/docs*] | |
release: | |
types: [published] | |
workflow_dispatch: | |
permissions: | |
contents: write | |
jobs: | |
deploy: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout | |
uses: actions/checkout@v4 | |
with: | |
lfs: "true" | |
fetch-depth: 0 # fetch all commits/branches | |
- name: Configure Git Credentials | |
run: | | |
git config user.name github-actions[bot] | |
git config user.email github-actions[bot]@users.noreply.github.com | |
- name: Setup Python | |
uses: actions/setup-python@v5 | |
with: | |
python-version: 3.11 | |
cache: "pip" | |
- name: Install | |
run: | | |
pip install ".[dev]" | |
- name: Get Current Version | |
if: ${{ github.event_name == 'release' }} | |
run: | | |
export CURRENT_VERSION=$(bump-my-version show current_version) | |
echo CURRENT_VERSION=$CURRENT_VERSION >> $GITHUB_ENV | |
shell: bash | |
- name: Publish release | |
if: ${{ github.event_name == 'release' }} | |
run: mike deploy --push --update-aliases ${{ env.CURRENT_VERSION }} latest | |
- name: Publish development | |
if: ${{ github.event_name == 'push' }} | |
run: mike deploy development --push |