less frequent master bumps?

Stream: nightly-testing

[Joachim Breitner]

Joachim Breitner schrieb:

Kim Morrison schrieb:

Joachim Breitner said:

Joachim Breitner, just to clarify, is this about Batteries (which merges every commit to main into nightly-testing), or about Mathlib (which merges master into nightly-testing every 3 hours).

I'd be happy to make either less frequent!

That was mathlib. I didn't know it's already time based, so maybe I was just unlucky. Every 3h is also reasonable, so if others prefer that then no worries

Hmm, it just happend again that a master bump preempted the attempts to get nightly-testing going again. My proposal would be to bumpmaster into nightly-testing only once per day, maybe 12h after the toolchain bump, to reduce that from happening. (Usually I assume nightly-testing breaks due to toolchain bumps and rarely due to master bumps, so not much lost doing the latter less often?)

bump.png

[Kim Morrison]

#31321