Chris Devenski (Astros, P): 2.2 ip, 0 er, 1 k vs Mariners. Final: Mariners 8 @ Astros 9. MLB, Jul 6, 2016. Full box score and game log on Real.