mirror of
https://github.com/bitcoin/bitcoin.git
synced 2024-11-19 18:09:47 +01:00
travis: Rename the build stage "check_doc" to "lint"
This commit is contained in:
parent
418ae49ee1
commit
3d8ae74657
@ -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 New Issue
Block a user