Created by: cclauss
Jenkins is just too slow.
The repo would need to be enabled https://travis-ci.com/deepmipt