Astros starter Gerrit Cole reportedly felt some right hamstring discomfort when he was warming up prior to his scheduled start on Tuesday night. We’ll wait to hear further updates on the injury. Chris Devenski got the late start in place of him vs the White Sox.