3.5 inches since yesterday afternoon...6 inches total.
Too bad we couldn’t get it spread out a bit. Still, it beats using city water. The city hasn’t figured out a way to charge us for rainfall, yet.