Definitely not cool... but anecdotally, I suppose it has seemed a little cloudier than average since the end of June. But since EC stopped recording sunshine hours many years ago, there's no way to know definitively.
According to my station, July was pretty close to my 7-year average. (Note: July 2016 on the chart looks suspiciously low -- could be some bad data there, although that was a fairly cloudy month, IIRC.)
August should end up above my 7-year average after next week's sunny spell.
Hours of full sunshine: