Looks like @hlemeur has retriggered it, and it's building fine. Thank you very much!
On Wednesday, August 2, 2023 at 9:42:23 AM UTC-7 rsomas...@netflix.com wrote: > Hi! > > I'm seeing checkouts failing on ci.jenkins.io. > > First attempt: > > https://ci.jenkins.io/blue/organizations/jenkins/Plugins%2Factive-choices-plugin/detail/PR-85/1/pipeline > > Remote does not have refs/pull/85/head available for fetch. > > Second attempt: > > https://ci.jenkins.io/blue/organizations/jenkins/Plugins%2Factive-choices-plugin/detail/PR-85/2/pipeline > > Missing unknown de2b450d63ab09503ef3554eed32b940d022f7d1 > > Is there a known issue on the infra? > > - Rahul > -- 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/149a18f4-8271-431e-88a4-e5d2f5ccb7b1n%40googlegroups.com.
