Date: Fri, 17 Apr 2015 14:20:27 +0800 From: Li-Wen Hsu <lwhsu@FreeBSD.org> To: Garrett Cooper <yaneurabeya@gmail.com> Cc: Pedro Giffuni <pfg@freebsd.org>, "freebsd-testing@FreeBSD.org" <freebsd-testing@freebsd.org> Subject: Re: Everything down? Message-ID: <CAKBkRUw4aZYzuH9jKRignDDGQTsC155ZOKRJ285Rs4N_qDqLOQ@mail.gmail.com> In-Reply-To: <580867E3-19FB-4E25-9DE2-3CD52D8A489E@gmail.com> References: <5527EE72.3070604@FreeBSD.org> <580867E3-19FB-4E25-9DE2-3CD52D8A489E@gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Sat, Apr 11, 2015 at 1:08 AM, Garrett Cooper <yaneurabeya@gmail.com> wrote: > >> On Apr 10, 2015, at 08:38, Pedro Giffuni <pfg@FreeBSD.org> wrote: >> >> Hello; >> >> I recently added some attributes to the system headers to enhance the static >> checker so I wanted to check out if the scan build is detecting new stuff. >> >> http://scan.freebsd.org/scan-build/ >> 404 Not Found >> >> https://jenkins.freebsd.org/ >> 502 Bad Gateway >> >> I guess there is some maintenance going on :(. > > Connecting to Jenkins has been spotty at best for me. Not sure about scan.freebsd.org ... Craig and I have tuned http://jenkins.freebsd.org a bit, hope it can have better uptime now. For http://scan.freebsd.org , these were some issues in the build slave and web server, it is back to online now, and new build is in progress. -- Li-Wen Hsu http://lwhsu.org
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAKBkRUw4aZYzuH9jKRignDDGQTsC155ZOKRJ285Rs4N_qDqLOQ>