docs.yml 720 B

123456789101112131415161718192021222324252627
  1. name: docs
  2. on:
  3. pull_request:
  4. types: [opened, synchronize, reopened, ready_for_review]
  5. jobs:
  6. docs:
  7. runs-on: ubuntu-latest
  8. if: github.event.pull_request.draft == false
  9. permissions:
  10. contents: write
  11. pull-requests: write
  12. steps:
  13. - uses: actions/checkout@v4
  14. - uses: ./.github/actions/setup
  15. - name: Generate docs
  16. run: |
  17. make doc
  18. if [ -n "$(git status --porcelain)" ]; then
  19. echo "::error::Job failed, run 'make doc' and commit your doc changes."
  20. echo "::error::The doc generation produces the following changes:"
  21. git diff --color --exit-code
  22. fi
  23. - name: Validate docs
  24. run: make lintdoc