Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

[3.8] bpo-40548: GitHub Action workflow: skip jobs on doc only PRs #20100

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
May 15, 2020
Merged

[3.8] bpo-40548: GitHub Action workflow: skip jobs on doc only PRs #20100

Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
9be87c1
bpo-40548: Always run GitHub action, even on doc PRs (GH-19981)
vstinner May 7, 2020
dce8144
bpo-40548: GitHub Action workflow: skip jobs on doc only PRs (GH-19983)
FFY00 May 14, 2020
0a66eb2
bpo-40548: github actions: pass the changes check on no source change…
FFY00 May 15, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
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.

(cherry picked from commit 4e36376)
  • Loading branch information
@vstinner
vstinner committed May 15, 2020
commit 9be87c12c33b05ede37c5bf8d0095bd4adc436ec
14 changes: 3 additions & 11 deletions 14 .github/workflows/build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,22 +1,14 @@
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/**'
pull_request:
branches:
- master
- 3.8
- 3.7
paths-ignore:
- 'Doc/**'
- 'Misc/**'

jobs:
build_win32:
Expand Down
Morty Proxy This is a proxified and sanitized view of the page, visit original site.