It doesn't look like it did, I only see a Linux build happening see [1]. I don't think I have direct commit rights on jenkinsci/jenkins.
1 - https://ci.jenkins.io/job/Core/job/jenkins/job/PR-2740 On Wed, Feb 8, 2017 at 4:18 AM R. Tyler Croy <[email protected]> wrote: > (replies inline) > > On Tue, 07 Feb 2017, Slide wrote: > > > I thought the Jenkinsfile wasn't picked up from anything but master. If I > > am mistaken, I'll gladly do that. > > > That depends on whether you are able to commit to the repository or not. > As a > committer, which IIRC you are, the GitHub Branch Source plugin (IIRC) will > use > the pull request's Jenkinsfile. > > > > - R. Tyler Croy > > ------------------------------------------------------ > Code: <https://github.com/rtyler> > Chatter: <https://twitter.com/agentdero> > xmpp: [email protected] > > % 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/20170208111757.GX26439%40blackberry.coupleofllamas.com > . > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPiUgVeHcskH-oKCGdg0dK0JDWp2JwjFaQB9kEvfpHGLjCgBcw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
