Chris Devenski (Astros, P): 1.0 ip, 0 er, 3 k vs Rangers. Final: Rangers 1 @ Astros 6. MLB, Jul 20, 2019. Full box score and game log on Real.