On the plus side I created a PR to add a Jenkinsfile to the HTML publisher plugin and the new infrastructure automatically picked it up and built it so at least that bit is all good :)
Richard. On Wed, 28 Jun 2017 at 12:02 R. Tyler Croy <ty...@monkeypox.org> wrote: > (replies inline) > > On Tue, 27 Jun 2017, Richard Bywater wrote: > > > Just taking a look at the plugin discovery console and it seems to have > > fallen over. I'm guessing that means it hasn't found all the plugins? > > > https://issues.jenkins-ci.org/browse/JENKINS-45142 > > :-/ > > > - R. Tyler Croy > > ------------------------------------------------------ > Code: <https://github.com/rtyler> > Chatter: <https://twitter.com/agentdero> > xmpp: rty...@jabber.org > > % gpg --keyserver keys.gnupg.net --recv-key 1426C7DC3F51E16F > ------------------------------------------------------ > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAMui944fA-9dW5oyz-ryCuCj-G9%3DRNhCYkbkxGdC%2BaAthO1Erw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
