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 /.travis.yml | |
| 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 '.travis.yml')
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 1f871de800..af5553f3b7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,7 +9,7 @@ cache: - depends/sdk-sources - $HOME/.ccache stages: - - check_doc + - lint - test env: global: @@ -77,7 +77,7 @@ after_script: jobs: include: - - stage: check_doc + - stage: lint sudo: false addons: apt: |