CI broken: Waiting for status to be reported

[tstromberg]

It seems that our CI for docs is broken, resulting in changes not landing on the docs site:

[jacobweinstock]

I believe this is resolved now? didn't you fix this @mmlb?

[mmlb]

Yep, we can close.