CI: Fix PR title script (#9366)

laurent22 · Nov 24, 2023 · 9930359 · 9930359
1 parent 84cc157
commit 9930359
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/check-pr-title.yml b/.github/workflows/check-pr-title.yml
@@ -2,7 +2,8 @@ name: Check pull request title
 on: [pull_request]
 jobs:
   main:
+    runs-on: ubuntu-latest
     steps:
       - uses: Slashgear/[email protected]
         with:
-          regexp: "(Desktop|Mobile|All|Cli|Tools|Chore|Clipper|Server|Android|iOS|Plugins): (Fixes|Resolves) #[0-9]+: .+"
+          regexp: "(Desktop|Mobile|All|Cli|Tools|Chore|Clipper|Server|Android|iOS|Plugins|CI|Plugin Repo|Doc): (Fixes|Resolves) #[0-9]+: .+"