Chris Devenski (Astros, P): 1.0 ip, 0 er, 1 k @ Mariners. Final: Astros 4 @ Mariners 2. MLB, Jun 3, 2019. Full box score and game log on Real.