Chris Devenski (Astros, P): 0.1 ip, 1 er, 1 k @ Rangers. Final: Astros 5 @ Rangers 3. MLB, Jul 3, 2018. Full box score and game log on Real.