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 <[email protected]> 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAKMi--CdC9Ri5aZ-3ANCQJ59pLPvm3i-cEion8iPQfjcv5uUCQ%40mail.gmail.com.
