<div dir="ltr">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 :)<div><br></div><div>Richard.</div></div><br><div class="gmail_quote"><div dir="ltr">On Wed, 28 Jun 2017 at 12:02 R. Tyler Croy <<a href="mailto:tyler@monkeypox.org">tyler@monkeypox.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">(replies inline)<br>
<br>
On Tue, 27 Jun 2017, Richard Bywater wrote:<br>
<br>
> Just taking a look at the plugin discovery console and it seems to have<br>
> fallen over. I'm guessing that means it hasn't found all the plugins?<br>
<br>
<br>
<a href="https://issues.jenkins-ci.org/browse/JENKINS-45142" rel="noreferrer" target="_blank">https://issues.jenkins-ci.org/browse/JENKINS-45142</a><br>
<br>
:-/<br>
<br>
<br>
- R. Tyler Croy<br>
<br>
------------------------------------------------------<br>
     Code: <<a href="https://github.com/rtyler" rel="noreferrer" target="_blank">https://github.com/rtyler</a>><br>
  Chatter: <<a href="https://twitter.com/agentdero" rel="noreferrer" target="_blank">https://twitter.com/agentdero</a>><br>
     xmpp: <a href="mailto:rtyler@jabber.org" target="_blank">rtyler@jabber.org</a><br>
<br>
  % gpg --keyserver <a href="http://keys.gnupg.net" rel="noreferrer" target="_blank">keys.gnupg.net</a> --recv-key 1426C7DC3F51E16F<br>
------------------------------------------------------<br>
</blockquote></div>