Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 10 Apr 2015 10:08:50 -0700
From:      Garrett Cooper <yaneurabeya@gmail.com>
To:        Pedro Giffuni <pfg@FreeBSD.org>
Cc:        "freebsd-testing@FreeBSD.org" <freebsd-testing@FreeBSD.org>
Subject:   Re: Everything down?
Message-ID:  <580867E3-19FB-4E25-9DE2-3CD52D8A489E@gmail.com>
In-Reply-To: <5527EE72.3070604@FreeBSD.org>
References:  <5527EE72.3070604@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help

> On Apr 10, 2015, at 08:38, Pedro Giffuni <pfg@FreeBSD.org> wrote:
>=20
> Hello;
>=20
> I recently added some attributes to the system headers to enhance the stat=
ic
> checker so I wanted to check out if the scan build is detecting new stuff.=

>=20
> http://scan.freebsd.org/scan-build/
> 404 Not Found
>=20
> https://jenkins.freebsd.org/
> 502 Bad Gateway
>=20
> I guess there is some maintenance going on :(.

Connecting to Jenkins has been spotty at best for me. Not sure about scan.fr=
eebsd.org ...=



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?580867E3-19FB-4E25-9DE2-3CD52D8A489E>