guanqun 26b105b472 fix the ignored tests in doc test (#898) ...

* fix ignored test

* move CI to --release per Gav

2018-10-13 15:16:17 +02:00

..

script.sh

fix the ignored tests in doc test (#898)

2018-10-13 15:16:17 +02:00