File tree Expand file tree Collapse file tree 2 files changed +31
-0
lines changed Expand file tree Collapse file tree 2 files changed +31
-0
lines changed Original file line number Diff line number Diff line change 1+ #! /bin/bash
2+
3+ set -ex
4+
5+ : " ${MOBAN_BRANCH:= master} "
6+
7+ git clone https://gitlab.com/coala/mobans \
8+ --branch=${MOBAN_BRANCH} ../coala-mobans
9+
10+ moban
11+ git diff --exit-code
Original file line number Diff line number Diff line change 99script :
1010 - make html SPHINXOPTS=-W
1111
12+ .check_moban_master : &check_moban_master
13+ python : 3.6
14+ stage : moban
15+ install : pip install moban
16+ script : .ci/check_moban.sh
17+ if : branch = master AND type != pull_request
18+
19+ .check_moban_other : &check_moban_other
20+ << : *check_moban_master
21+ if : branch != master OR type = pull_request
22+
23+ # env forces jobs to be created from the top level settings
24+ env :
25+ jobs :
26+ include :
27+ - *check_moban_master
28+ - *check_moban_other
29+ allow_failures :
30+ - *check_moban_other
31+
1232notifications :
1333 email : false
1434 webhooks : https://www.travisbuddy.com/
You can’t perform that action at this time.
0 commit comments