88 types : [created]
99
1010jobs :
11-
1211 deploy :
1312 name : Publish on PyPi
1413 runs-on : ubuntu-latest
@@ -31,45 +30,45 @@ jobs:
3130 password : ${{ secrets.TWINE_TOKEN }}
3231
3332 docs :
34- if : ${{ contains(github.event.release.prerelease, false) }}
35- name : Build Documentation from main'
36- needs : deploy
37- runs-on : ubuntu-latest
38- steps :
39- - uses : actions/checkout@v4
40- with :
41- fetch-depth : 0
42- - name : Install uv and dependencies with doc-dependencies
43- uses : astral-sh/setup-uv@v5
44- with :
45- enable-cache : true
46- cache-dependency-glob : uv.lock
47- python-version : " 3.10"
48- - name : Install library
49- run : uv sync --all-extras --group docs
50- - name : Set git config
51- run : |
52- git config --local user.email "[email protected] " 53- git config --local user.name "GitHub Action"
54- - name : Fetch tags
55- run : git fetch --tags --prune
56- - name : Determine previous release
57- id : previous_release
58- run : echo "::set-output name=previous_tag::$(git describe --tags $(git rev-list --tags --skip=1 --max-count=1) --abbrev=0)"
59- - name : Determine current release
60- id : current_release
61- run : echo "::set-output name=current_tag::$(git describe --tags --abbrev=0)"
62- - name : Check if minor release
63- id : is_minor_release
64- run : |
65- previous_tag=$(/bin/echo ${{ steps.previous_release.outputs.previous_tag }})
66- current_tag=$(/bin/echo ${{ steps.current_release.outputs.current_tag }})
67- previous_version=$(echo $previous_tag | cut -d '.' -f 1,2)
68- current_version=$(echo $current_tag | cut -d '.' -f 1,2)
69- if [[ "$previous_version" == "$current_version" ]]; then
70- uv run --group docs --all-extras run mike delete ${{ steps.previous_release.outputs.previous_tag }}
71- fi
72- - name : Deploy documentation develops
73- run : |
74- uv run --group docs --all-extras run mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest --message "Release ${{ github.event.release.tag_name }}"
75- uv run --group docs --all-extras run mike set-default --push latest
33+ if : ${{ contains(github.event.release.prerelease, false) }}
34+ name : Build Documentation from main'
35+ needs : deploy
36+ runs-on : ubuntu-latest
37+ steps :
38+ - uses : actions/checkout@v4
39+ with :
40+ fetch-depth : 0
41+ - name : Install uv and dependencies with doc-dependencies
42+ uses : astral-sh/setup-uv@v6
43+ with :
44+ enable-cache : true
45+ cache-dependency-glob : uv.lock
46+ python-version : " 3.10"
47+ - name : Install library
48+ run : uv sync --all-extras --group docs
49+ - name : Set git config
50+ run : |
51+ git config --local user.email "[email protected] " 52+ git config --local user.name "GitHub Action"
53+ - name : Fetch tags
54+ run : git fetch --tags --prune
55+ - name : Determine previous release
56+ id : previous_release
57+ run : echo "::set-output name=previous_tag::$(git describe --tags $(git rev-list --tags --skip=1 --max-count=1) --abbrev=0)"
58+ - name : Determine current release
59+ id : current_release
60+ run : echo "::set-output name=current_tag::$(git describe --tags --abbrev=0)"
61+ - name : Check if minor release
62+ id : is_minor_release
63+ run : |
64+ previous_tag=$(/bin/echo ${{ steps.previous_release.outputs.previous_tag }})
65+ current_tag=$(/bin/echo ${{ steps.current_release.outputs.current_tag }})
66+ previous_version=$(echo $previous_tag | cut -d '.' -f 1,2)
67+ current_version=$(echo $current_tag | cut -d '.' -f 1,2)
68+ if [[ "$previous_version" == "$current_version" ]]; then
69+ uv run --group docs --all-extras run mike delete ${{ steps.previous_release.outputs.previous_tag }}
70+ fi
71+ - name : Deploy documentation develops
72+ run : |
73+ uv run --group docs --all-extras run mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest --message "Release ${{ github.event.release.tag_name }}"
74+ uv run --group docs --all-extras run mike set-default --push latest
0 commit comments