I also vaguely remember nightlies breaking and we just shut a bunch of it off to make it shut up.
It was also publishing nightlies of weird stuff that has been out of the trunk for 3+ years, iirc. On Wed, Oct 9, 2019 at 5:51 PM Andrew Palumbo <ap....@outlook.com> wrote: > Has anybody checked on Jenkins lately. It doesn't seem to be pushing > nightlies. > > Not sure if this was disabled intentionally I seem to remember discussion > about this. > > --andy >
