travis: Rename the build stage "check_doc" to "lint"
This commit is contained in:
parent
418ae49ee1
commit
3d8ae74657
1 changed files with 2 additions and 2 deletions
|
@ -9,7 +9,7 @@ cache:
|
||||||
- depends/sdk-sources
|
- depends/sdk-sources
|
||||||
- $HOME/.ccache
|
- $HOME/.ccache
|
||||||
stages:
|
stages:
|
||||||
- check_doc
|
- lint
|
||||||
- test
|
- test
|
||||||
env:
|
env:
|
||||||
global:
|
global:
|
||||||
|
@ -77,7 +77,7 @@ after_script:
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
include:
|
include:
|
||||||
- stage: check_doc
|
- stage: lint
|
||||||
sudo: false
|
sudo: false
|
||||||
addons:
|
addons:
|
||||||
apt:
|
apt:
|
||||||
|
|
Loading…
Reference in a new issue