Coverity scan should be up and running again within the next 24 hours