Hmm I'm not sure if this is it. I followed the same method I used on a previous plugin I worked on: https://github.com/jenkinsci/discard-old-build-plugin/blob/master/pom.xml. I will try making a few pom.xml changes in case one of these triggers a fix.
On Friday, July 12, 2019 at 10:32:02 AM UTC-4, Jeff wrote: > > I wonder if it's because you're using a very old version of the parent pom? > > This line > <https://github.com/jenkinsci/enhanced-old-build-discarder/blob/master/pom.xml#L6> > specifies > the parent pom version, not the version of Jenkins to build against per the > comment. > > On Fri, Jul 12, 2019 at 7:05 AM 'Benjamin Beggs' via Jenkins Developers < > [email protected] <javascript:>> wrote: > >> Does anyone know why CI tests aren't running on pull requests for this >> repository? >> https://github.com/jenkinsci/enhanced-old-build-discarder >> >> I've added a Jenkinsfile to the source root directory on the master >> branch ( >> https://github.com/jenkinsci/enhanced-old-build-discarder/blob/master/Jenkinsfile). >> >> No CI is coming up for my latest PR ( >> https://github.com/jenkinsci/enhanced-old-build-discarder/pull/3). >> >> >> >> -- >> 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] <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/1200949864.857781.1562940329308%40mail.yahoo.com >> >> <https://groups.google.com/d/msgid/jenkinsci-dev/1200949864.857781.1562940329308%40mail.yahoo.com?utm_medium=email&utm_source=footer> >> . >> 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/7a980988-7894-4c55-96f8-d2ee669abd54%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
