-
Task
-
Resolution: Fixed
-
Low
-
None
-
None
-
None
Currently we run a lot of tests and type checks etc in travis.
Given that we have prior art for tests in Jenkins now, we should move over all CI processes to Jenkins for consistency with other projects and to remove a dependency on travis.