gh-pages.yml 954 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  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
  21. run: sphinx-build -b dirhtml -v docs _build
  22. - name: Move 404
  23. run: mv _build/404/index.html _build/404.html
  24. - name: Update 404 links
  25. run: python docs/scripts/move404.py _build/404.html
  26. - name: Remove .doctrees
  27. run: rm -r _build/.doctrees
  28. - name: Upload to GitHub Pages
  29. uses: JamesIves/github-pages-deploy-action@v4
  30. with:
  31. folder: _build
  32. clean-exclude: |
  33. *.*.*/