From 4074d843a6c1fe52e9ae644c6c853051ba4db4d5 Mon Sep 17 00:00:00 2001 From: Kristin Martin Date: Thu, 22 Oct 2026 17:29:09 +0000 Subject: [PATCH] Lint only files that still exist, so deleting a page doesn't fail the check --- .github/workflows/vale-docs-linter.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/vale-docs-linter.yml b/.github/workflows/vale-docs-linter.yml index 94c1a23..9047072 100644 --- a/.github/workflows/vale-docs-linter.yml +++ b/.github/workflows/vale-docs-linter.yml @@ -39,7 +39,12 @@ jobs: # 'separator', so a space can't be passed that way, and an unparseable # value makes it lint the whole repo instead. A JSON array is the only # shape that reliably means "these files". See docs-tracking#375. - files: ${{ steps.changed-files.outputs.all_changed_and_modified_files }} + # + # all_changed_files is ACMR. The ACMRDTUX output includes deleted + # paths, and Vale exits non-zero on a path that isn't there + # ("argument 'x.mdx' does not exist"), which fail_on_error does not + # cover because it isn't a lint finding. + files: ${{ steps.changed-files.outputs.all_changed_files }} # added, diff_context, file, nofilter filter_mode: file # github-pr-check, github-pr-review, github-check