Just the other day, my path was crossed by a github bot[1] closing idle
PRs. Not that I would be delighted by the experience, but it might be
something to help us with the housekeeping.
[1] https://github.com/probot/stale
On 08/02/2019 08.40, Baptiste Mathus wrote:
Each merge generally rebuilds all ongoing PRs. Given the core takes
~2.5h, necessitates 5 or 6 agents IIRC, and there are almost 100 open
PRs, this causes quite a spike each time.
We are working on improving the situation to reduce the open PRs,
basically review and merge or close.
HTH
Le ven. 8 févr. 2019 à 04:11, Rick <[email protected]
<mailto:[email protected]>> a écrit :
hi,
Does anyone notice that there're too many jobs in ci.jenkins.io
<http://ci.jenkins.io>. That cause many later PRs can't be built.
Regards,
Rick
--
https://github.com/LinuxSuRen
--
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]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/CAMM7nTFVb0sCnpa9eAZiYDCwT3c6Ntt49VtG00fCkhXbjt7vTA%40mail.gmail.com
<https://groups.google.com/d/msgid/jenkinsci-dev/CAMM7nTFVb0sCnpa9eAZiYDCwT3c6Ntt49VtG00fCkhXbjt7vTA%40mail.gmail.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]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS7hMRfx93ntJjONwq1T1amziyYjDV%2BkNA%3DgMUzge8aBcQ%40mail.gmail.com
<https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS7hMRfx93ntJjONwq1T1amziyYjDV%2BkNA%3DgMUzge8aBcQ%40mail.gmail.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
oliver
--
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/2a393fe5-c032-e885-e1e1-2adddf30780d%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
