| 1234567891011121314151617181920212223242526272829303132333435 |
- name: 📖 Trigger doc check
- run-name: 📖 Trigger doc check ${{ github.sha }}
- # We use this intermediate workflow to workaround the issue with repo secrets unavailable for PR-s from external repos
- # The `check_docs` workflow use this one for its `workflow_run` event which let it run without errors
- on:
- pull_request:
- paths:
- - 'manual/**'
- branches:
- - master
- - manticore-*
- jobs:
- trigger_doc_check:
- runs-on: ubuntu-24.04
- defaults:
- run:
- shell: bash
- steps:
- - name: Save PR repo
- env:
- PR_REPO: ${{ github.event.pull_request.head.repo.full_name }}
- PR_REF: ${{ github.event.pull_request.head.ref }}
- run: |
- echo $PR_REPO > pr_repo.txt
- echo $PR_REF >> pr_repo.txt
- - name: Upload PR repo name
- uses: actions/upload-artifact@v4
- with:
- name: pr_repo
- path: ./pr_repo.txt
- - name: Trigger doc check
- run: |
- echo "Doc check triggered"
|