Yea I remember that now. It was pushing a bunch . Will check it out when I can.
On Oct 11, 2019 4:33 AM, Trevor Grant <trevor.d.gr...@gmail.com> wrote: 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 >