From 9209bd43c9285181a0c482d2b4cad11648bf6cca Mon Sep 17 00:00:00 2001 From: Ngo Quoc Dat Date: Fri, 21 Aug 2026 22:25:06 +0700 Subject: [PATCH] ci(docs): run the docs gate on every pull request so it can be required --- .github/workflows/docs.yml | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 52c393051..553083429 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,18 +1,12 @@ name: Docs +# No paths filter. As a required status check, a filtered workflow never starts on a PR +# that misses the filter, so the check sits pending and blocks the merge forever. It runs +# in about a minute, which is cheaper than the exception handling. on: pull_request: - paths: - - 'docs/**' - - '.github/workflows/docs.yml' - - 'TablePro/Core/Menu/**' - - 'TablePro/Core/Plugins/PluginManager.swift' - - 'TablePro/Models/UI/KeyboardShortcutModels.swift' push: branches: [main] - paths: - - 'docs/**' - - '.github/workflows/docs.yml' workflow_dispatch: concurrency: