Re: Latest snapshot build (archive, not Maven artifact)

[Mickael Istria]

Why is the CI stuff in a dedicated repo and not on the main repo? Could we
try to change it? That would make Maven more "normal" and more accessible
in term of contribution.
I found https://github.com/apache/maven/blob/master/Jenkinsfile in the main
repo. What is the purprose of this file vs the repo you linked?
Also, I see https://github.com/apache/maven-jenkins-lib/pull/1/files was
merged a year ago and then commented out
https://github.com/apache/maven-jenkins-lib/commit/317a0e9eff8b1d793141291a4b335bf9b478ccd6
. Does anyone know what failure was happening? Was it some missing
credentials in the settings.xml ? Unfortunately, I do not have enough
knowledge about Apache infra to help if the issue is credentials.