diff --git a/.github/workflows/docs-add-version-picker.yaml b/.github/workflows/docs-add-version-picker.yaml deleted file mode 100644 index 717d5c85d..000000000 --- a/.github/workflows/docs-add-version-picker.yaml +++ /dev/null @@ -1,90 +0,0 @@ -name: Add Version Picker (RUN ONCE) - -on: - workflow_dispatch: - -jobs: - add-version-picker: - name: Add Version Picker - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v4 - - - name: Configure Git - run: | - git config user.email "action@synapse.bot.com" - git config user.name "Action Bot" - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - - - name: Setup mdbook - uses: peaceiris/actions-mdbook@adeb05db28a0c0004681db83893d56c0388ea9ea # v1.2.0 - with: - mdbook-version: '0.4.17' - - - name: Copy files to release branches - run: | - for version in "v1.98" "v1.97" "v1.96" "v1.95" "v1.94" "v1.93" "v1.92" "v1.91" "v1.90" "v1.89" "v1.88" "v1.87" "v1.86" "v1.85" "v1.84" "v1.83" "v1.82" "v1.81" "v1.80" "v1.79" "v1.78" "v1.77" "v1.76" "v1.75" "v1.74" "v1.73" "v1.72" "v1.71" "v1.70" "v1.69" "v1.68" "v1.67" "v1.66" "v1.65" "v1.64" "v1.63" "v1.62" "v1.61" "v1.60" "v1.59" "v1.58" "v1.57" "v1.56" "v1.55" "v1.54" "v1.53" "v1.52" "v1.51" "v1.50" "v1.49" "v1.48" "v1.47" "v1.46" "v1.45" "v1.44" "v1.43" "v1.42" "v1.41" "v1.40" "v1.39" "v1.38" "v1.37" - do - git fetch - git checkout -b release-$version origin/release-$version - - git checkout develop -- ./book.toml - git checkout develop -- ./docs/website_files/version-picker.js - git checkout develop -- ./docs/website_files/version-picker.css - git checkout develop -- ./docs/website_files/README.md - - echo "window.SYNAPSE_VERSION = '$version';" > ./docs/website_files/version.js - - # Adding version-picker element to index.hbs - awk '/