a demo for github and travis ci