Merge pull request #774 from stan-dev/remove-rtd-script

Remove defunct read-the-docs script
stan-dev · Dec 17, 2024 · 54e67a1 · 54e67a1
2 parents dfcd3fc + 8d9dc40
commit 54e67a1
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 81 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -90,10 +90,3 @@ jobs:
           TWINE_USERNAME: ${{ secrets.PYPI_USERNAME }}
           TWINE_PASSWORD: ${{ secrets.PYPI_PASSWORD }}
         run: python -m twine upload -u ${TWINE_USERNAME} -p ${TWINE_PASSWORD} --skip-existing dist/*
-
-      - name: Change default version in readthedocs.io
-        if: success()
-        env:
-          RTD_USERNAME: ${{ secrets.RTD_USERNAME }}
-          RTD_PASSWORD: ${{ secrets.RTD_PASSWORD }}
-        run: python rtd_change_default_version.py cmdstanpy ${RTD_USERNAME} ${RTD_PASSWORD} v${{ github.event.inputs.new_version }}
diff --git a/rtd_change_default_version.py b/rtd_change_default_version.py