diff --git a/.github/workflows/docs-lint-v2-comment.yml b/.github/workflows/docs-lint-v2-comment.yml index 89c037c42f..a518588e55 100644 --- a/.github/workflows/docs-lint-v2-comment.yml +++ b/.github/workflows/docs-lint-v2-comment.yml @@ -1,4 +1,4 @@ -name: Comment on external PRs with linter results +name: docs_lint_comment_external # This is a continuation of ./docs-lint-v2.yml, to write comments on external # PRs. @@ -11,7 +11,7 @@ name: Comment on external PRs with linter results on: workflow_run: - workflows: ['[Docs] Lint v2'] + workflows: [docs_lint] types: - completed diff --git a/.github/workflows/docs-lint-v2.yml b/.github/workflows/docs-lint-v2.yml index cf543f15f1..4ceb1f8210 100644 --- a/.github/workflows/docs-lint-v2.yml +++ b/.github/workflows/docs-lint-v2.yml @@ -1,4 +1,4 @@ -name: '[Docs] Lint v2' +name: docs_lint # Runs the docs linter on PRs that edit docs content. # There are two branches of this workflow for internal and external PRs, due @@ -102,3 +102,6 @@ jobs: with: name: lint_results path: __github_actions__pr/ + - name: fail if linter fails (external) + if: steps.filter.outputs.docs == 'true' && github.event.pull_request.head.repo.full_name != github.repository && steps.external_lint.outputs.LINT_EXIT_CODE != 0 + run: exit 1