Specify micro version number in travis file