File tree 3 files changed +27
-1
lines changed
3 files changed +27
-1
lines changed Original file line number Diff line number Diff line change @@ -50,7 +50,7 @@ matrix:
50
50
- python-gtk2
51
51
- os : linux
52
52
env :
53
- - JOB="3.5" TEST_ARGS="--skip-slow --skip-network" COVERAGE=true
53
+ - JOB="3.5" TEST_ARGS="--skip-slow --skip-network" COVERAGE=true TYPING=true
54
54
addons :
55
55
apt :
56
56
packages :
Original file line number Diff line number Diff line change @@ -114,6 +114,10 @@ if [ "$LINT" ]; then
114
114
pip install cpplint
115
115
fi
116
116
117
+ if [ " $TYPING " ]; then
118
+ pip install mypy-lang
119
+ fi
120
+
117
121
if [ " $COVERAGE " ]; then
118
122
pip install coverage pytest-cov
119
123
fi
Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+
3
+ echo " inside $0 "
4
+
5
+ source activate pandas
6
+
7
+ RET=0
8
+
9
+ if [ " $TYPING " ]; then
10
+
11
+ echo " Typing *.py"
12
+ mypy pandas/core/base.py
13
+ if [ $? -ne " 0" ]; then
14
+ RET=1
15
+ fi
16
+ echo " Typing *.py DONE"
17
+
18
+ else
19
+ echo " NOT checking typing"
20
+ fi
21
+
22
+ exit $RET
You can’t perform that action at this time.
0 commit comments