is down?

Is it just me or are all the logs like just empty, and the badges broken for a while?

Hi @sourcefrog,

thanks for reporting this. It appears the server ran out of disk space and wasn't properly responding to some requests anymore. I've cleaned up some disk space and it appears to be working again. Please try again now.

I am investigating how this could happen and how to prevent this in future (it looks like docker containers needed to be removed).

Sorry for that.

1 Like

If that is indeed the case, you might want to check out this

1 Like