Chris Devenski (Astros, P): 1.0 ip, 0 er, 1 k @ Marlins. Final: Astros 3 @ Marlins 0. MLB, May 17, 2017. Full box score and game log on Real.