The storm train didn't develop into anything strong, so just got about an extra quarter inch of rain from it. The sun did come out and high got out of the 70s to 85. This Tuesday, it looks like there will be another try topping at 100 for the first time this summer.
The west side of the first storm to the west of me left some damage from wind gusts up to 40-80mph from the Kansas border south to OKC, but here the wind only gusted to 29mph, but July's peak gust, so far. The storm came with ominous looking shelf clouds.
As shown, it's always interesting how greatly the rain amounts can vary across town. The southwest part stayed well under an inch, while all the east side got over an inch, peaking out at 3.04". It's typical in July for strong storms to sometimes develop in eastern Colorado, Kansas or even Nebraska and move south to Oklahoma.