Cslib bump branch reminders

Stream: nightly-testing

[github mathlib4 bot]

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-11-21 branch from nightly-testing (specifically 81ad2f2dab4b4d54e9791b8eaa195db261cc4276), and then PR that to bump/v4.27.0. To do so semi-automatically, run the following script from Cslib root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.27.0 --nightlydate=2025-11-21 --nightlysha=81ad2f2dab4b4d54e9791b8eaa195db261cc4276

[github mathlib4 bot]

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-11-21 branch from nightly-testing (specifically 81ad2f2dab4b4d54e9791b8eaa195db261cc4276), and then PR that to bump/v4.27.0. To do so semi-automatically, run the following script from Cslib root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.27.0 --nightlydate=2025-11-21 --nightlysha=81ad2f2dab4b4d54e9791b8eaa195db261cc4276

[github mathlib4 bot]

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-11-23 branch from nightly-testing (specifically 668b7d3a3617a2500130ad21d7f18d0ce948dd61), and then PR that to bump/v4.27.0. To do so semi-automatically, run the following script from Cslib root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.27.0 --nightlydate=2025-11-23 --nightlysha=668b7d3a3617a2500130ad21d7f18d0ce948dd61

[Chris Henson]

@Kim Morrison It seems like the lakefile.toml is consistently a merge conflict for these. I saw yesterday in cslib#179 you made it use the current nightly, is that what we should be doing? If so, can create-adaptation-pr.sh just be made to use the lakefile from nightly-testing?

[Kim Morrison]

Yes, we need to diverge from the Mathlib behaviour here because we automatically modify the lakefile.toml each night (unlike Mathlib). There's existing code in this script to prefer changes to lean-toolchain and lake-manifest.json frmo the nightly-testing side, we should just also add lakefile.toml to that.

[Kim Morrison]

cslib#180 addresses the persistent lakefile.toml merge conflicts by automatically preferring the nightly-testing version (like lean-toolchain and lake-manifest.json).

[github mathlib4 bot]

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-12-14 branch from nightly-testing (specifically 3d5395665a10bf7b61e53e7fd049f9358ca11e1f), and then PR that to bump/v4.27.0. To do so semi-automatically, run the following script from Cslib root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.27.0 --nightlydate=2025-12-14 --nightlysha=3d5395665a10bf7b61e53e7fd049f9358ca11e1f