Chris Devenski (Astros, P): 4.0 ip, 0 er, 7 k vs Mariners. Final: Mariners 3 @ Astros 5. MLB, Apr 5, 2017. Full box score and game log on Real.