https://github.com/jenkins-infra/crawler/blob/master/Jenkinsfile#L10
Looks like it's supposed to be run every 4 hours. Sadly it's on the super locked down trusted Jenkins install. It might be worth moving it to the less locked down infra one so more of us can look into and monitor failures. On Fri., Nov. 13, 2020, 1:41 p.m. Tim Van Holder, <tim.vanhol...@gmail.com> wrote: > Partially answering my own question: looking at > https://updates.jenkins.io/updates/ suggests that the last run was > 2020-10-28, over two weeks ago. > That feels like a rather long gap between runs. > > On Fri, 13 Nov 2020 at 22:38, Tim Van Holder <tim.vanhol...@gmail.com> > wrote: > >> Hi, >> >> My Downloadables (as received from the update center) are a few days out >> of date. >> How often is the crawler run? Are the logs of the last run viewable? >> >> Specifically, .NET 5 was released on Wednesday but I'm still only seeing >> 5.0-rc.2 as highest available version in the file as downloaded at Jenkins >> startup. >> Running the crawler script locally does produce up to date info. >> >> (I also had issues with plugins under hpi:run, but looking at Jira that >> is a general issue, not specific to my setup.) >> > -- > 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/CAKMi--CdC9Ri5aZ-3ANCQJ59pLPvm3i-cEion8iPQfjcv5uUCQ%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAKMi--CdC9Ri5aZ-3ANCQJ59pLPvm3i-cEion8iPQfjcv5uUCQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAG%3D_DusngJNuft_LwNOMFXJ50L1Zg%3DT0V50RGPQLkoHq4N_-sg%40mail.gmail.com.
