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