Chris Devenski (Astros, P): 1.1 ip, 0 er, 0 k @ Rangers. Final: Astros 0 @ Rangers 5. MLB, Jul 11, 2019. Full box score and game log on Real.