why? 1. travis build become so slow that github action has already finished its job. 2. #234 has provide good enough github actions what's more to do? test coverage need to be submitted to coverall.