gh-pages.yml 984 B

1234567891011121314151617181920212223242526272829303132333435363738394041
  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 && git clone https://github.com/Farama-Foundation/MiniGrid.git && pip install ./MiniGrid
  16. - name: Build Envs Docs
  17. run: python docs/scripts/gen_mds.py
  18. - name: Build
  19. run: sphinx-build -b dirhtml -v docs _build
  20. - name: Move 404
  21. run: mv _build/404/index.html _build/404.html
  22. - name: Update 404 links
  23. run: python docs/scripts/move404.py _build/404.html
  24. - name: Remove .doctrees
  25. run: rm -r _build/.doctrees
  26. - name: Upload to GitHub Pages
  27. uses: JamesIves/github-pages-deploy-action@v4
  28. with:
  29. folder: _build
  30. clean-exclude: |
  31. *.*.*/