diff --git a/.github/workflows/docs_pr_push.yml b/.github/workflows/docs_pr_push.yml new file mode 100644 index 0000000000..58280e53e3 --- /dev/null +++ b/.github/workflows/docs_pr_push.yml @@ -0,0 +1,36 @@ +# This workflow is strictly for documentation updates. It triggers only when files related +# to documentation or specific workflows are edited, ensuring that the job runs only for +# relevant changes. + +name: Documentation PR/push + +on: + push: + branches-ignore: + - 'dependabot/**' + - 'main' # Ignore main branch as it's handled by docs.yml + paths: + - 'docs/**' + - 'include/**' + - .github/workflows/reusable_docs_build.yml + - .github/workflows/docs_pr_push.yml + - 'third_party/requirements.txt' + + pull_request: + paths: + - 'docs/**' + - 'include/**' + - .github/workflows/reusable_docs_build.yml + - .github/workflows/docs_pr_push.yml + - 'third_party/requirements.txt' + +concurrency: + group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} + cancel-in-progress: true + +permissions: + contents: read + +jobs: + DocsBuild: + uses: ./.github/workflows/reusable_docs_build.yml diff --git a/.github/workflows/pr_push.yml b/.github/workflows/pr_push.yml index 184f038bac..5d6155a375 100644 --- a/.github/workflows/pr_push.yml +++ b/.github/workflows/pr_push.yml @@ -18,11 +18,9 @@ permissions: jobs: CodeChecks: uses: ./.github/workflows/reusable_checks.yml - DocsBuild: - uses: ./.github/workflows/reusable_docs_build.yml FastBuild: name: Fast builds - needs: [CodeChecks, DocsBuild] + needs: [CodeChecks] uses: ./.github/workflows/reusable_fast.yml Build: name: Basic builds