I'm creating this post to inform when lagging happens so the mods can take action on this.
So it's lagging right now today, June 29, 2017, around 9:00 am pacific standard time. It's lagging in the whole game. It's affecting ladder battles, campaign battles, boosting, and other things.
Report if lagging for you.