4 ms·

I think we (CircleCI) are doing quite well: https://status.circleci.com/ https://status.circleci.com/