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