Coverity scan down
bchretien opened this issue · 2 comments
bchretien commented
Coverity Scan has been down since yesterday:
$ coverity_download=https://scan.coverity.com/download/linux-64
$ wget -O coverity_tool.tgz https://scan.coverity.com/download/linux-64 --post-data 'token=#EDITED#&project=roboptim-core'
--2015-05-21 05:53:58-- https://scan.coverity.com/download/linux-64
Resolving scan.coverity.com (scan.coverity.com)... 208.69.177.215
Connecting to scan.coverity.com (scan.coverity.com)|208.69.177.215|:443... connected.
HTTP request sent, awaiting response... 404 Not Found
2015-05-21 05:53:59 ERROR 404: Not Found.
Coverity Scan is down for maintenance till 1 am Pacific time
Please follow us on twitter @CoverityScan for updates
Please contact scan-admin@coverity.com for any question.
If it takes longer than that, I'll disable Coverity support temporarily.
bchretien commented
Update:
Coverity Scan is down for maintenance till 11 am Pacific time
bchretien commented
Back online and we're now using the Travis add-on.