I don't think it was the either. Looking at the scan logs for jenkinsio.plugins, it seems like the last time GitHub was scanned was on Wednesday, and at least at that time it was ignoring the plugin.
On Fri, Jul 12, 2019 at 7:43 AM 'Benjamin Beggs' via Jenkins Developers < [email protected]> wrote: > Terrific, if you can do that it would be great. :) > > On Friday, July 12, 2019 at 10:38:27 AM UTC-4, R. Tyler Croy wrote: >> >> (replies inline) >> >> On Fri, 12 Jul 2019, 'Benjamin Beggs' via Jenkins Developers wrote: >> >> > Does anyone know why CI tests aren't running on pull requests for this >> > repository? >> > [1]https://github.com/jenkinsci/enhanced-old-build-discarder >> > >> > I've added a Jenkinsfile to the source root directory on the master >> branch ([2] >> > https://github.com/jenkinsci/enhanced-old-build-discarder/blob/master/ >> > Jenkinsfile). No CI is coming up for my latest PR ([3] >> https://github.com/ >> > jenkinsci/enhanced-old-build-discarder/pull/3). >> > >> >> >> The directory name doesn't match the convention used by most (all?) the >> other >> plugins which is $(name)-plugin.git, and thus it fails the regular >> expression >> used by our Organization Folder. >> >> >> I can change the repo name to match if you'd like >> > >> > >> > >> -- >> GitHub: https://github.com/rtyler >> >> GPG Key ID: 0F2298A980EE31ACCA0A7825E5C92681BEF6CEA2 >> > -- > 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/dd6e31cc-aba5-4626-ab33-355f41e67542%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-dev/dd6e31cc-aba5-4626-ab33-355f41e67542%40googlegroups.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/CADVhPTpDwa-s_sOLEeuo9WuBnsz69QyF5dfE50-x6W_Emt_v8A%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
