Chris Devenski (Astros, P): 2.2 ip, 0 er, 2 k @ Mariners. Final: Astros 8 @ Mariners 2. MLB, Jun 25, 2017. Full box score and game log on Real.