Chris Devenski (Astros, P): 1.2 ip, 0 er, 3 k @ Rangers. Final: Astros 6 @ Rangers 5. MLB, Jun 3, 2017. Full box score and game log on Real.