diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-05-09 09:50:15 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-05-09 09:50:47 +0200 |
| commit | 9458b05f2834c00014ce03e294e41c4c3aa778f2 (patch) | |
| tree | f1639f5e42d4ec1f06c28a33640fcac27b7b8f8a /.gitattributes | |
| parent | 7b966d9e6e30f39731ef511cfa3255652543b55d (diff) | |
| parent | 18c0b8430820114d14a15fe19b7ae86e62be17d8 (diff) | |
Merge #13183: [travis] New travis job for CHECK_DOCS steps
18c0b84 [bitcoin-11004] creating another jobs for the CHECK_DOC=1, separated from the core jobs (Grady Laksmono)
Pull request description:
Configure a new Travis job that runs against PRs, and only runs the `CHECK_DOC` tests. At the same time, the `CHECK_DOC` stuff in the existing job would be removed.
Fixes #11004
Tree-SHA512: 6e1ed0a0742f2f141ac40c666538d4c0d5eab5766a2f2364ba6d940a9be6c93a28970a4191b0641a61e25fe87e3af2367e51a43f3bc930f819be2a2c54326b1d
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions