gh-pages.yml 1.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. name: Deploy Docs
  2. on:
  3. push:
  4. branches: [master]
  5. permissions:
  6. contents: write
  7. jobs:
  8. docs:
  9. name: Generate Website
  10. runs-on: ubuntu-latest
  11. steps:
  12. - uses: actions/checkout@v3
  13. - uses: actions/setup-python@v4
  14. - name: Install dependencies
  15. run: pip install -r docs/requirements.txt
  16. - name: Register Envs
  17. run: pip install -e .
  18. - name: Build Envs Docs
  19. run: python docs/scripts/gen_mds.py
  20. - name: Build Envs Display
  21. run: python docs/scripts/gen_envs_display.py
  22. - name: Build
  23. run: sphinx-build -b dirhtml -v docs _build
  24. - name: Move 404
  25. run: mv _build/404/index.html _build/404.html
  26. - name: Update 404 links
  27. run: python docs/scripts/move404.py _build/404.html
  28. - name: Remove .doctrees
  29. run: rm -r _build/.doctrees
  30. - name: Upload to GitHub Pages
  31. uses: JamesIves/github-pages-deploy-action@v4
  32. with:
  33. folder: _build
  34. clean-exclude: |
  35. *.*.*/