Chris Devenski (Astros, P): 1.0 ip, 0 er, 3 k vs Mariners. Final: Mariners 2 @ Astros 8. MLB, Jul 24, 2020. Full box score and game log on Real.