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 '/