Same thing happened to me yesterday. Big storm moving through. It seems to split and go around our pond. I don't believe we received any.
However, for July and August we have been getting some rain. The rain gauge was full a few weeks ago, at 5" and we had received close to that in the two weeks prior to that.
The pond came up three feet. Just some slim chances for rain over the next 15 days though. I'm sure that will change. I'm still 14" from full. I'd like to get it full again, it's been since Jan 1.

9 yr old pond, 1 ac, 15' deep.
RES, YP, GS, FHM (no longer), HBG (going away), SMB, and HSB (only one seen in 5 yrs) Restocked HSB (2020) Have seen one of these.
I think that's about all I should put in my little pond.
Otter attack in 2023