Chris Devenski (Astros, P): 1.0 ip, 0 er, 1 k vs Mariners. Final: Mariners 5 @ Astros 7. MLB, Jun 6, 2018. Full box score and game log on Real.