Chris Devenski (Astros, P): 1.1 ip, 0 er, 1 k @ Mariners. Final: Astros 5 @ Mariners 3. MLB, Sep 6, 2017. Full box score and game log on Real.