Chris Devenski (Astros, P): 2.0 ip, 0 er, 4 k @ Mariners. Final: Astros 8 @ Mariners 7. MLB, Jun 6, 2019. Full box score and game log on Real.