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 9
9
script :
10
10
- make html SPHINXOPTS=-W
11
11
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
+
12
32
notifications :
13
33
email : false
14
34
webhooks : https://www.travisbuddy.com/
You can’t perform that action at this time.
0 commit comments