Chris Devenski (Astros, P): 1.2 ip, 1 er, 2 k @ Mariners. Final: Astros 8 @ Mariners 1. MLB, Jul 17, 2016. Full box score and game log on Real.