1
0

lua_api_deploy.yml 963 B

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. name: lua_api_deploy
  2. permissions:
  3. contents: read
  4. pages: write
  5. id-token: write
  6. on:
  7. push:
  8. paths:
  9. - '.github/workflows/lua_api_deploy.yml'
  10. - 'doc/lua_api.md'
  11. - 'doc/mkdocs/'
  12. branches:
  13. - master
  14. jobs:
  15. build:
  16. if: github.repository == 'minetest/minetest'
  17. runs-on: ubuntu-latest
  18. steps:
  19. - uses: actions/checkout@v4
  20. - name: Set up Python
  21. uses: actions/setup-python@v5
  22. with:
  23. python-version: 3.11
  24. - name: Install mkdocs
  25. run: |
  26. pip install -U -r doc/mkdocs/requirements.txt
  27. - name: Build documentation
  28. run: |
  29. cd doc/mkdocs/
  30. ./build.sh
  31. - name: Setup Pages
  32. uses: actions/configure-pages@v4
  33. - name: Upload artifact
  34. uses: actions/upload-pages-artifact@v3
  35. with:
  36. path: 'public/'
  37. - name: Deploy to GitHub Pages
  38. id: deployment
  39. uses: actions/deploy-pages@v4