we should move to Github Actions soon. - [ ] disable Travis CI - [ ] build docker image on GA - [ ] push docker image to dockerhub