Chris Devenski (Astros, P): 1.1 ip, 1 er, 2 k @ Mariners. Final: Astros 10 @ Mariners 6. MLB, Apr 12, 2019. Full box score and game log on Real.