123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475 |
- name: Manual Docs Versioning
- on:
- workflow_dispatch:
- inputs:
- version:
- description: 'Documentation version to create'
- required: true
- commit:
- description: 'Commit used to build the Documentation version'
- required: false
- latest:
- description: 'Latest version'
- type: boolean
- permissions:
- contents: write
- jobs:
- docs:
- name: Generate Website for new version
- runs-on: ubuntu-latest
- env:
- SPHINX_GITHUB_CHANGELOG_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- steps:
- - uses: actions/checkout@v3
- if: inputs.commit == ''
- - uses: actions/checkout@v3
- if: inputs.commit != ''
- with:
- ref: ${{ inputs.commit }}
- - uses: actions/setup-python@v5
- with:
- python-version: '3.9'
- - name: Install dependencies
- run: pip install -r docs/requirements.txt
- - name: Register Envs
- run: pip install -e .[wfc]
- - name: Build Envs Docs
- run: python docs/_scripts/gen_env_docs.py
- - name: Build Envs Display
- run: python docs/_scripts/gen_envs_display.py
- - name: Build
- run: sphinx-build -b dirhtml -v docs _build
- - name: Move 404
- run: mv _build/404/index.html _build/404.html
- - name: Update 404 links
- run: python docs/_scripts/move_404.py _build/404.html
- - name: Remove .doctrees
- run: rm -r _build/.doctrees
- - name: Upload to GitHub Pages
- uses: JamesIves/github-pages-deploy-action@v4
- with:
- folder: _build
- target-folder: ${{ inputs.version }}
- clean: false
- - name: Upload to GitHub Pages
- uses: JamesIves/github-pages-deploy-action@v4
- if: inputs.latest
- with:
- folder: _build
- clean-exclude: |
- *.*.*/
- main
|