Runs list and logs degraded

For several hours on June 30, the dashboard runs list and logs were degraded while your runs kept executing normally. Here's what happened, how we recovered, and what we're changing so it can't happen again.