diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-05-13 11:47:51 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-05-13 11:47:53 -0400 |
| commit | ffa86af45363d6fb09c67e6b9a20b3e895791d6a (patch) | |
| tree | 6ddcca99af780606127bbb98239bf7504fb87fff /test/util | |
| parent | 418ae49ee1eac2c9d6cd4ba83c036a41f1afe922 (diff) | |
| parent | 3d8ae74657b77eb13d568d7e743212cdafc8c01c (diff) | |
Merge #13221: travis: Rename the build stage "check_doc" to "lint"
3d8ae74657 travis: Rename the build stage "check_doc" to "lint" (practicalswift)
Pull request description:
Rename the Travis build stage from `check_doc` to `lint`.
When `check_doc` was introduced back in fa1b80db889307f5259961ae22128b88b9437b03 it was used to make sure `contrib/devtools/check-doc.py` was run only once.
Nowadays `check_docs` is used to trigger various linting type jobs which makes the name `check_doc` a bit misleading.
Tree-SHA512: 39d7f3dd2ee6374e60c64fe4366df5f8752e350c4404d2d5b3dd9da64d6ac730a6b523286df4042a14360a5740e068a072ef32e04283ada719c988c7f9a1bf86
Diffstat (limited to 'test/util')
0 files changed, 0 insertions, 0 deletions