diff options
| author | practicalswift <practicalswift@users.noreply.github.com> | 2018-05-12 21:43:30 +0200 |
|---|---|---|
| committer | practicalswift <practicalswift@users.noreply.github.com> | 2018-05-12 21:44:05 +0200 |
| commit | 3d8ae74657b77eb13d568d7e743212cdafc8c01c (patch) | |
| tree | 6ddcca99af780606127bbb98239bf7504fb87fff | |
| parent | 418ae49ee1eac2c9d6cd4ba83c036a41f1afe922 (diff) | |
travis: Rename the build stage "check_doc" to "lint"
| -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: |