mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-09 21:46:42 +08:00
Only run CI on pushes to main/master and pull requests (#7883)
Currently, when a maintainer opens a pull request from a branch in the typeshed repository (instead of a fork), CI is run twice: once for the PR and once for the push. This not only wastes CI minutes (and it seems we're running into some limits lately), but also makes CI output twice as large and more difficult to process. The disadvantage is that a PR needs to be opened to run CI. Alternatively, CI can be triggered manually.
This commit is contained in:
3
.github/workflows/tests.yml
vendored
3
.github/workflows/tests.yml
vendored
@@ -3,6 +3,9 @@ name: Test
|
||||
on:
|
||||
workflow_dispatch:
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
- master
|
||||
pull_request:
|
||||
|
||||
permissions:
|
||||
|
||||
Reference in New Issue
Block a user