Chris Devenski (Angels, P): 0.2 ip, 5 er, 1 k vs Astros. Final: Astros 12 @ Angels 13. MLB, Jul 15, 2023. Full box score and game log on Real.