build_docs.yml 687 B

123456789101112131415161718192021222324252627282930
  1. name: build_docs
  2. # execute this docs build workflow automatically when new push happens in any branch
  3. on:
  4. push:
  5. paths:
  6. - 'docs/**'
  7. jobs:
  8. build_docs_job:
  9. runs-on: ubuntu-latest
  10. container: debian:buster-slim
  11. steps:
  12. - name: Prereqs
  13. env:
  14. GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
  15. run: |
  16. apt-get update
  17. apt-get install -y git
  18. git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" .
  19. shell: bash
  20. - name: Execute script to build our documentation and update pages
  21. env:
  22. GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
  23. run: "docs/build_docs.sh"
  24. shell: bash