Luke Gregerson (Astros, P): 1.0 ip, 1 er, 1 k vs Mariners. Final: Mariners 9 @ Astros 7. MLB, Jul 17, 2017. Full box score and game log on Real.