From: Victor Stinner <vstinner@python.org>
Date: Thu, 7 May 2020 20:42:14 +0000 (+0200)
Subject: bpo-40548: Always run GitHub action, even on doc PRs (GH-19981)
X-Git-Tag: v3.9.0b1~139
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=4e363761fc02a89d53aba4382dc451293bd6f0ba;p=thirdparty%2FPython%2Fcpython.git

bpo-40548: Always run GitHub action, even on doc PRs (GH-19981)

Always run GitHub action jobs, even on documentation-only pull
requests. So it will be possible to make a GitHub action job, like
the Windows (64-bit) job, mandatory.
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 50d1561518bd..6e6a6d2b789d 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,26 +1,19 @@
 name: Tests
 
+# bpo-40548: "paths-ignore" is not used to skip documentation-only PRs, because
+# it prevents to mark a job as mandatory. A PR cannot be merged if a job is
+# mandatory but not scheduled because of "paths-ignore".
 on:
   push:
     branches:
     - master
     - 3.8
     - 3.7
-    paths-ignore:
-    - 'Doc/**'
-    - 'Misc/**'
-    - '**/*.md'
-    - '**/*.rst'
   pull_request:
     branches:
     - master
     - 3.8
     - 3.7
-    paths-ignore:
-    - 'Doc/**'
-    - 'Misc/**'
-    - '**/*.md'
-    - '**/*.rst'
 
 jobs:
   build_win32: