Fix issue #1980: opened_symbol option in TreeLayerControl not functio… #615
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: Publish Docs | |
| on: | |
| pull_request: | |
| push: | |
| branches: | |
| - main | |
| release: | |
| types: | |
| - published | |
| permissions: | |
| # Give the GITHUB_TOKEN write permission to open a PR with the changes to the switcher.json file. | |
| contents: write | |
| pull-requests: write | |
| jobs: | |
| run: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| ref: main | |
| - name: Setup Micromamba env | |
| uses: mamba-org/setup-micromamba@v1 | |
| with: | |
| environment-name: TEST | |
| create-args: >- | |
| python=3 | |
| --file requirements.txt | |
| --file requirements-dev.txt | |
| - name: Install folium from source | |
| shell: bash -l {0} | |
| run: python -m pip install -e . --no-deps --force-reinstall | |
| - name: Build documentation | |
| shell: bash -l {0} | |
| run: | | |
| set -e | |
| pushd docs | |
| make clean html linkcheck | |
| popd | |
| - name: Update switcher and latest version | |
| if: ${{ github.event_name == 'release' }} | |
| run: | | |
| python docs/update_switcher.py --version ${{ github.ref_name }} | |
| - name: Create PR | |
| if: ${{ github.event_name == 'release' }} | |
| uses: peter-evans/create-pull-request@v6 | |
| with: | |
| commit-message: "docs: Update switcher.json for ${{ github.ref_name }}" | |
| title: "docs: Update switcher.json for ${{ github.ref_name }}" | |
| body: "This PR updates the switcher.json file." | |
| branch: "docs/update-switcher-${{ github.ref_name }}" | |
| base: "main" | |
| labels: "documentation" | |
| - name: Publish to Github Pages on main | |
| if: ${{ github.ref == 'refs/heads/main' }} | |
| uses: peaceiris/actions-gh-pages@v4 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: docs/_build/html/ | |
| destination_dir: dev | |
| keep_files: false | |
| - name: Publish to Github Pages on release | |
| if: ${{ github.event_name == 'release' }} | |
| uses: peaceiris/actions-gh-pages@v4 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: docs/_build/html/ | |
| destination_dir: ${{ github.ref_name }} |