Chris Devenski (Astros, P): 0.0 ip, 3 er, 0 k @ Red Sox. Final: Astros 3 @ Red Sox 10. MLB Playoffs, Oct 8, 2017. Full box score and game log on Real.