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.
This commit is contained in:
Victor Stinner 2020-05-07 22:42:14 +02:00 committed by GitHub
parent c068b53a0c
commit 4e363761fc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 10 deletions

View File

@ -1,26 +1,19 @@
name: Tests 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: on:
push: push:
branches: branches:
- master - master
- 3.8 - 3.8
- 3.7 - 3.7
paths-ignore:
- 'Doc/**'
- 'Misc/**'
- '**/*.md'
- '**/*.rst'
pull_request: pull_request:
branches: branches:
- master - master
- 3.8 - 3.8
- 3.7 - 3.7
paths-ignore:
- 'Doc/**'
- 'Misc/**'
- '**/*.md'
- '**/*.rst'
jobs: jobs:
build_win32: build_win32: