Chris Devenski (Astros, P): 1.0 ip, 3 er, 1 k vs Mariners. Final: Mariners 7 @ Astros 6. MLB, Jul 26, 2020. Full box score and game log on Real.