Chris Devenski (Astros, P): 0.1 ip, 1 er, 0 k @ Rockies. Final: Astros 4 @ Rockies 2. MLB, Jul 3, 2019. Full box score and game log on Real.