Message371667
| Author | vstinner |
|---|---|
| Recipients | vstinner |
| Date | 2020-06-16.15:09:47 |
| SpamBayes Score | -1.0 |
| Marked as misclassified | Yes |
| Message-id | <1592320187.19.0.393080289798.issue40993@roundup.psfhosted.org> |
| In-reply-to |
| Content | |
|---|---|
Documentation about skipping jobs on pull requests: https://docs.travis-ci.com/user/pull-requests/#how-pull-requests-are-built I don't think that the following method works for the issue: "To only build on push events not on pull requests, disable Build on Pull Requests in your repository settings." That would disable all jobs, not only coverage jobs. |
|
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2020-06-16 15:09:47 | vstinner | set | recipients: + vstinner |
| 2020-06-16 15:09:47 | vstinner | set | messageid: <1592320187.19.0.393080289798.issue40993@roundup.psfhosted.org> |
| 2020-06-16 15:09:47 | vstinner | link | issue40993 messages |
| 2020-06-16 15:09:47 | vstinner | create | |