ci: check pull requests stacked on other pull requests (#769)
CI and the PR title check only ran for pull requests targeting master, so a pull request stacked on another one got no checks, and no CI result gate, until the one below it merged. Both now run for every base. Path classification already diffs against the pull request's own base commit, so a stacked pull request is classified by its own changes.
This commit is contained in:
parent
a029e267c2
commit
8104b5bb1c
2
.github/workflows/ci.yml
vendored
2
.github/workflows/ci.yml
vendored
|
|
@ -1,8 +1,8 @@
|
|||
name: CI
|
||||
|
||||
on:
|
||||
# Every base, so stacked pull requests are checked against the PR below them.
|
||||
pull_request:
|
||||
branches: [master]
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
|
|
|
|||
2
.github/workflows/pr-title.yml
vendored
2
.github/workflows/pr-title.yml
vendored
|
|
@ -1,8 +1,8 @@
|
|||
name: PR title
|
||||
|
||||
on:
|
||||
# Every base, so stacked pull requests are checked against the PR below them.
|
||||
pull_request:
|
||||
branches: [master]
|
||||
types: [opened, synchronize, reopened, edited]
|
||||
|
||||
permissions:
|
||||
|
|
|
|||
Loading…
Reference in a new issue