Everything down?

[Garrett Cooper]

> On Apr 10, 2015, at 08:38, Pedro Giffuni <pfg at 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 ...