trigger_docs_check.yml 1002 B

1234567891011121314151617181920212223242526272829303132333435
  1. name: 📖 Trigger doc check
  2. run-name: 📖 Trigger doc check ${{ github.sha }}
  3. # We use this intermediate workflow to workaround the issue with repo secrets unavailable for PR-s from external repos
  4. # The `check_docs` workflow use this one for its `workflow_run` event which let it run without errors
  5. on:
  6. pull_request:
  7. paths:
  8. - 'manual/**'
  9. branches:
  10. - master
  11. - manticore-*
  12. jobs:
  13. trigger_doc_check:
  14. runs-on: ubuntu-24.04
  15. defaults:
  16. run:
  17. shell: bash
  18. steps:
  19. - name: Save PR repo
  20. env:
  21. PR_REPO: ${{ github.event.pull_request.head.repo.full_name }}
  22. PR_REF: ${{ github.event.pull_request.head.ref }}
  23. run: |
  24. echo $PR_REPO > pr_repo.txt
  25. echo $PR_REF >> pr_repo.txt
  26. - name: Upload PR repo name
  27. uses: actions/upload-artifact@v4
  28. with:
  29. name: pr_repo
  30. path: ./pr_repo.txt
  31. - name: Trigger doc check
  32. run: |
  33. echo "Doc check triggered"