Zulip Chat Archive

Stream: nightly-testing

Topic: Batteries bump branch reminders

github mathlib4 bot (Feb 06 2025 at 00:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-05 branch from nightly-testing (specifically ), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-05 --nightlysha=

Kim Morrison (Feb 06 2025 at 00:10):

(Hmm, not quite right: the --nightlysha= field is empty, and that will presumably block the script from working.)

github mathlib4 bot (Feb 06 2025 at 00:21):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-05 branch from nightly-testing (specifically ), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-05 --nightlysha=

github mathlib4 bot (Feb 06 2025 at 00:33):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-05 branch from nightly-testing (specifically f7590d0ee51b424f779c856a8166dd24b772cafb), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-05 --nightlysha=f7590d0ee51b424f779c856a8166dd24b772cafb

Kim Morrison (Feb 06 2025 at 00:44):

That looks more promising! Trying it now.

github mathlib4 bot (Feb 06 2025 at 01:02):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-05 branch from nightly-testing (specifically f7590d0ee51b424f779c856a8166dd24b772cafb), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-05 --nightlysha=f7590d0ee51b424f779c856a8166dd24b772cafb

Kim Morrison (Feb 06 2025 at 01:02):

It required a few changes in batteries#1122, but seems to have worked!

github mathlib4 bot (Feb 06 2025 at 01:05):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-05 branch from nightly-testing (specifically f7590d0ee51b424f779c856a8166dd24b772cafb), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-05 --nightlysha=f7590d0ee51b424f779c856a8166dd24b772cafb

github mathlib4 bot (Feb 06 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-06 branch from nightly-testing (specifically 72c38de77b94808a890063525e50b233a5f62133), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-06 --nightlysha=72c38de77b94808a890063525e50b233a5f62133

Kim Morrison (Feb 06 2025 at 09:13):

Hmm, failing with:

Remote "origin" does not support the Git LFS locking API. Consider disabling it with:
  $ git config lfs.https://github.com/leanprover-community/batteries.git/info/lfs.locksverify false
Fatal error: Unable to verify locks

Errors logged to '/Users/kim/.git/modules/projects/lean/std4/lfs/logs/20250206T201324.777934.log'.
Use `git lfs logs last` to view the log.
error: failed to push some refs to 'github.com:leanprover-community/batteries.git'

which I've never seen before.

Kim Morrison (Feb 06 2025 at 09:16):

Uninstalled git-lfs seems to solve the problem.

github mathlib4 bot (Feb 06 2025 at 09:18):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-06 branch from nightly-testing (specifically 72c38de77b94808a890063525e50b233a5f62133), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-06 --nightlysha=72c38de77b94808a890063525e50b233a5f62133

github mathlib4 bot (Feb 09 2025 at 06:39):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-08 branch from nightly-testing (specifically 25deaa9b851b602fc9788629b6c49746291e8e97), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-08 --nightlysha=25deaa9b851b602fc9788629b6c49746291e8e97

github mathlib4 bot (Feb 09 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-09 branch from nightly-testing (specifically fcc3faa429c1ab53c0504b076e03c852512a04e3), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-09 --nightlysha=fcc3faa429c1ab53c0504b076e03c852512a04e3

github mathlib4 bot (Feb 10 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-10 branch from nightly-testing (specifically c8369e7a76c69f728f738f85c5a4dbba838c61e2), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-10 --nightlysha=c8369e7a76c69f728f738f85c5a4dbba838c61e2

github mathlib4 bot (Feb 11 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-11 branch from nightly-testing (specifically bdb06bd685f0bba45bb669e1681a63f0be61045d), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-11 --nightlysha=bdb06bd685f0bba45bb669e1681a63f0be61045d

github mathlib4 bot (Feb 12 2025 at 22:35):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-12 branch from nightly-testing (specifically df80b107a49ce399ee9bd37d7aefeb3b8c8356ae), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-12 --nightlysha=df80b107a49ce399ee9bd37d7aefeb3b8c8356ae

github mathlib4 bot (Feb 13 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-13 branch from nightly-testing (specifically 61797027042caa3fad7c0966a74746fa8e7745e9), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-13 --nightlysha=61797027042caa3fad7c0966a74746fa8e7745e9

github mathlib4 bot (Feb 14 2025 at 11:57):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-14 branch from nightly-testing (specifically 3fd58e703603a5fd897757fcf5883c40334cf64a), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-14 --nightlysha=3fd58e703603a5fd897757fcf5883c40334cf64a

github mathlib4 bot (Feb 15 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-15 branch from nightly-testing (specifically fae4a246720d38b45d5b0e159a461e948c9f702a), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-15 --nightlysha=fae4a246720d38b45d5b0e159a461e948c9f702a

github mathlib4 bot (Feb 16 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-16 branch from nightly-testing (specifically b6fb6c7661809c9a960bcdd9c15f48a3b14c8dfe), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-16 --nightlysha=b6fb6c7661809c9a960bcdd9c15f48a3b14c8dfe

github mathlib4 bot (Feb 17 2025 at 11:09):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-17 branch from nightly-testing (specifically 38af7c17fedc637d6cb491d557c82ac6477a8295), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-17 --nightlysha=38af7c17fedc637d6cb491d557c82ac6477a8295

github mathlib4 bot (Feb 18 2025 at 11:23):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-18 branch from nightly-testing (specifically 6d000e6be62be2959f86b30fa661d6b29b992761), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-18 --nightlysha=6d000e6be62be2959f86b30fa661d6b29b992761

Kim Morrison (Feb 18 2025 at 11:30):

No hurry on this one, let's give Mario some time to look at HashMap/WF.lean

github mathlib4 bot (Feb 18 2025 at 15:58):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-18 branch from nightly-testing (specifically 6d000e6be62be2959f86b30fa661d6b29b992761), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-18 --nightlysha=6d000e6be62be2959f86b30fa661d6b29b992761

github mathlib4 bot (Feb 19 2025 at 11:11):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-19 branch from nightly-testing (specifically 0ca4f970fb8fc2b667d13d7693657cee1cd606e5), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-19 --nightlysha=0ca4f970fb8fc2b667d13d7693657cee1cd606e5

github mathlib4 bot (Feb 20 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-20 branch from nightly-testing (specifically 8688f0e92e0f63fadcd903c2362b146460fcd68c), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-20 --nightlysha=8688f0e92e0f63fadcd903c2362b146460fcd68c

github mathlib4 bot (Feb 21 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-21 branch from nightly-testing (specifically 46dac121482731659f4bf26ac4c3cec6b5db8c68), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-21 --nightlysha=46dac121482731659f4bf26ac4c3cec6b5db8c68

github mathlib4 bot (Feb 22 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-22 branch from nightly-testing (specifically 8f4bb9e221f878e417a732a7ed7e81c1d7a7088b), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-22 --nightlysha=8f4bb9e221f878e417a732a7ed7e81c1d7a7088b

github mathlib4 bot (Feb 25 2025 at 00:22):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-24 branch from nightly-testing (specifically b7ef82d55a1f324f61929f60decd8bba122d75fe), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-24 --nightlysha=b7ef82d55a1f324f61929f60decd8bba122d75fe

github mathlib4 bot (Feb 25 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-25 branch from nightly-testing (specifically e6768063ac23a0cd19b569f9c308b21c4eb6b3e7), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-25 --nightlysha=e6768063ac23a0cd19b569f9c308b21c4eb6b3e7

github mathlib4 bot (Feb 26 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-26 branch from nightly-testing (specifically efb215ac6d577f364a9352977c39ecf59ea3c241), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-26 --nightlysha=efb215ac6d577f364a9352977c39ecf59ea3c241

github mathlib4 bot (Feb 27 2025 at 09:09):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-27 branch from nightly-testing (specifically 89a1884792b286e7d37ffb4ce87de2b69b2ed318), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-27 --nightlysha=89a1884792b286e7d37ffb4ce87de2b69b2ed318

github mathlib4 bot (Feb 28 2025 at 23:46):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-02-28 branch from nightly-testing (specifically 933be6594e245f381dfe165182c928b8ef8ae168), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-02-28 --nightlysha=933be6594e245f381dfe165182c928b8ef8ae168

github mathlib4 bot (Mar 01 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-01 branch from nightly-testing (specifically 15858a2642a617a78add83f5c5ef7a83214cdeb2), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-03-01 --nightlysha=15858a2642a617a78add83f5c5ef7a83214cdeb2

github mathlib4 bot (Mar 02 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-02 branch from nightly-testing (specifically 157ed708ea731b6814bde9eb4ee4833b58c4a8a1), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-03-02 --nightlysha=157ed708ea731b6814bde9eb4ee4833b58c4a8a1

github mathlib4 bot (Mar 03 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-03 branch from nightly-testing (specifically 414fe82a12a5b238f2da252827f232285b23ed4c), and then PR that to "bump/v4.18.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.18.0" --nightlydate=2025-03-03 --nightlysha=414fe82a12a5b238f2da252827f232285b23ed4c

github mathlib4 bot (Mar 04 2025 at 09:54):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-04 branch from nightly-testing (specifically 3a21059ae64b54282d4c4a725ecdd8a7910841f0), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-04 --nightlysha=3a21059ae64b54282d4c4a725ecdd8a7910841f0

github mathlib4 bot (Mar 05 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-05 branch from nightly-testing (specifically 32dd37aa5235e6c9ba20a283ec18c7fbb3f86f7b), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-05 --nightlysha=32dd37aa5235e6c9ba20a283ec18c7fbb3f86f7b

github mathlib4 bot (Mar 06 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-06 branch from nightly-testing (specifically 60a4e4afc67318f42ff828b7b1b54bb2ae593786), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-06 --nightlysha=60a4e4afc67318f42ff828b7b1b54bb2ae593786

github mathlib4 bot (Mar 07 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-07 branch from nightly-testing (specifically c59cd4772767032df97ca47d32e3f0969771e7b3), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-07 --nightlysha=c59cd4772767032df97ca47d32e3f0969771e7b3

github mathlib4 bot (Mar 08 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-08 branch from nightly-testing (specifically e62449f6672c55f439f6cf6980d02578612a0959), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-08 --nightlysha=e62449f6672c55f439f6cf6980d02578612a0959

github mathlib4 bot (Mar 09 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-09 branch from nightly-testing (specifically 2ef28ee8b4d886033fa9ebee0142bf05ec562873), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-09 --nightlysha=2ef28ee8b4d886033fa9ebee0142bf05ec562873

github mathlib4 bot (Mar 10 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-10 branch from nightly-testing (specifically e9dea218d9eddf9252b0fcbcf99896cd881acc8b), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-10 --nightlysha=e9dea218d9eddf9252b0fcbcf99896cd881acc8b

github mathlib4 bot (Mar 11 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-11 branch from nightly-testing (specifically c29d17e31e5f0ce872d2bbd9adb58b907b76e0f4), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-11 --nightlysha=c29d17e31e5f0ce872d2bbd9adb58b907b76e0f4

github mathlib4 bot (Mar 12 2025 at 16:06):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-12 branch from nightly-testing (specifically de6d1d9daebdc0b2f0055e3330000c1932ecf0a5), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-12 --nightlysha=de6d1d9daebdc0b2f0055e3330000c1932ecf0a5

github mathlib4 bot (Mar 14 2025 at 09:23):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-14 branch from nightly-testing (specifically 1b9aecc49bb859a85370756550b0eb088ee7468d), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-14 --nightlysha=1b9aecc49bb859a85370756550b0eb088ee7468d

github mathlib4 bot (Mar 15 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-15 branch from nightly-testing (specifically 49d20ab3c5b6c21537482ebe64b36cf05552d051), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-15 --nightlysha=49d20ab3c5b6c21537482ebe64b36cf05552d051

github mathlib4 bot (Mar 17 2025 at 16:22):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-17 branch from nightly-testing (specifically a539cf8051a319fdc7e9c121567a8f4d87931d01), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-17 --nightlysha=a539cf8051a319fdc7e9c121567a8f4d87931d01

github mathlib4 bot (Mar 18 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-18 branch from nightly-testing (specifically cbbe64e9506cf7407c0de9742bd6cf7962dc74c3), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-18 --nightlysha=cbbe64e9506cf7407c0de9742bd6cf7962dc74c3

github mathlib4 bot (Mar 19 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-19 branch from nightly-testing (specifically 886efa1fae17ed65c2bb48f6a39144e26b4cd7e4), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-19 --nightlysha=886efa1fae17ed65c2bb48f6a39144e26b4cd7e4

github mathlib4 bot (Mar 20 2025 at 22:29):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-20 branch from nightly-testing (specifically 2bbf13b69997ad2787d32b1160650e0bf5df74e5), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-20 --nightlysha=2bbf13b69997ad2787d32b1160650e0bf5df74e5

github mathlib4 bot (Mar 22 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-22 branch from nightly-testing (specifically 22cfb595dca0e49201694a5ade27669556e8831e), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-22 --nightlysha=22cfb595dca0e49201694a5ade27669556e8831e

github mathlib4 bot (Mar 24 2025 at 15:54):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-24 branch from nightly-testing (specifically d1f699f179eed936052df953151f26c37287e95a), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-24 --nightlysha=d1f699f179eed936052df953151f26c37287e95a

github mathlib4 bot (Mar 25 2025 at 09:08):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-25 branch from nightly-testing (specifically 75c92e6ed1b45fd56b915f25bd7b3d51a6af372e), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-25 --nightlysha=75c92e6ed1b45fd56b915f25bd7b3d51a6af372e

github mathlib4 bot (Mar 26 2025 at 09:19):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-26 branch from nightly-testing (specifically 96750a4310a2c9e552824fc7158ba06f710ee438), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-26 --nightlysha=96750a4310a2c9e552824fc7158ba06f710ee438

github mathlib4 bot (Mar 27 2025 at 09:53):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-27 branch from nightly-testing (specifically d3e2ff2195c4936a59bce988dcefcea46dedd752), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-27 --nightlysha=d3e2ff2195c4936a59bce988dcefcea46dedd752

github mathlib4 bot (Mar 28 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-28 branch from nightly-testing (specifically 30eadf68f76f3dcf634ab1a0cbcb805bd16347b2), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-28 --nightlysha=30eadf68f76f3dcf634ab1a0cbcb805bd16347b2

github mathlib4 bot (Mar 30 2025 at 09:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-29 branch from nightly-testing (specifically 681b48efa9afe0e589e11a67b7bcc7674ad8100c), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-29 --nightlysha=681b48efa9afe0e589e11a67b7bcc7674ad8100c

github mathlib4 bot (Mar 30 2025 at 13:37):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-30 branch from nightly-testing (specifically bc469dca5995c63d4c5a3480b68acbf73b7bb988), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-30 --nightlysha=bc469dca5995c63d4c5a3480b68acbf73b7bb988

github mathlib4 bot (Mar 31 2025 at 09:55):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-03-31 branch from nightly-testing (specifically 7454681e896d0ad876762bc401385ad03f53f8bc), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-03-31 --nightlysha=7454681e896d0ad876762bc401385ad03f53f8bc

github mathlib4 bot (Apr 01 2025 at 11:21):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-01 branch from nightly-testing (specifically 81c7d8d409fe853e8e161f887da12f71e67a4d9f), and then PR that to "bump/v4.19.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.19.0" --nightlydate=2025-04-01 --nightlysha=81c7d8d409fe853e8e161f887da12f71e67a4d9f

github mathlib4 bot (Apr 02 2025 at 11:29):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-02 branch from nightly-testing (specifically 356f87dd6bb08f8e3dfecdf312902b3ba744d1ec), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-02 --nightlysha=356f87dd6bb08f8e3dfecdf312902b3ba744d1ec

github mathlib4 bot (Apr 03 2025 at 23:12):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-03 branch from nightly-testing (specifically d108f3b11ec69d021a5d1c3be0f5226ebe7f73e8), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-03 --nightlysha=d108f3b11ec69d021a5d1c3be0f5226ebe7f73e8

github mathlib4 bot (Apr 04 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-04 branch from nightly-testing (specifically 34bed5b0bae9a88571b29196bc6a18e977b0c870), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-04 --nightlysha=34bed5b0bae9a88571b29196bc6a18e977b0c870

github mathlib4 bot (Apr 06 2025 at 22:41):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-06 branch from nightly-testing (specifically 76d8dbfe137870ce5f55fc8dd48fd801d996ec15), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-06 --nightlysha=76d8dbfe137870ce5f55fc8dd48fd801d996ec15

github mathlib4 bot (Apr 07 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-07 branch from nightly-testing (specifically f561cb6e91249cba9ece253b85a4ed9f6a83461a), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-07 --nightlysha=f561cb6e91249cba9ece253b85a4ed9f6a83461a

github mathlib4 bot (Apr 08 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-08 branch from nightly-testing (specifically 50fa22b726602c96c8aac4cb42b531e9108ba08a), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-08 --nightlysha=50fa22b726602c96c8aac4cb42b531e9108ba08a

github mathlib4 bot (Apr 09 2025 at 13:01):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-09 branch from nightly-testing (specifically 54de7fcc8fe54f6a9efa6913f82bb883b5aef428), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-09 --nightlysha=54de7fcc8fe54f6a9efa6913f82bb883b5aef428

github mathlib4 bot (Apr 10 2025 at 08:54):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-10 branch from nightly-testing (specifically d0366f7db4449376ffe7eba14abfe7b392243a8c), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-10 --nightlysha=d0366f7db4449376ffe7eba14abfe7b392243a8c

github mathlib4 bot (Apr 14 2025 at 10:07):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-14 branch from nightly-testing (specifically ff21e11ace28dbcebc6cf20e8035f3ac3900f3ca), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-14 --nightlysha=ff21e11ace28dbcebc6cf20e8035f3ac3900f3ca

github mathlib4 bot (Apr 16 2025 at 22:23):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-16 branch from nightly-testing (specifically 106179f09644fe8e545540e4fc0cf255c29577e6), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-16 --nightlysha=106179f09644fe8e545540e4fc0cf255c29577e6

github mathlib4 bot (Apr 17 2025 at 10:59):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-17 branch from nightly-testing (specifically d957401381d91f8425e4f5dc0c1db80271680d5b), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-17 --nightlysha=d957401381d91f8425e4f5dc0c1db80271680d5b

github mathlib4 bot (Apr 18 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-18 branch from nightly-testing (specifically ccb729ea33dd69dbb11dc4fddf8fae87ba028b34), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-18 --nightlysha=ccb729ea33dd69dbb11dc4fddf8fae87ba028b34

github mathlib4 bot (Apr 19 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-19 branch from nightly-testing (specifically f35ebf8aaad822ffe52351a950272c67baea11dd), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-19 --nightlysha=f35ebf8aaad822ffe52351a950272c67baea11dd

github mathlib4 bot (Apr 20 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-20 branch from nightly-testing (specifically 1e942ed4c01ecc718c43062aeea864700799f7d8), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-20 --nightlysha=1e942ed4c01ecc718c43062aeea864700799f7d8

github mathlib4 bot (Apr 21 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-21 branch from nightly-testing (specifically f63e2da2c97562430540536190768adf9a80963e), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-21 --nightlysha=f63e2da2c97562430540536190768adf9a80963e

github mathlib4 bot (Apr 22 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-22 branch from nightly-testing (specifically cac9814f8ab9617731132f06a19d5bac602da1f0), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-22 --nightlysha=cac9814f8ab9617731132f06a19d5bac602da1f0

github mathlib4 bot (Apr 23 2025 at 13:01):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-23 branch from nightly-testing (specifically b7c854659a47912283e30f077eaffae66f581161), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-23 --nightlysha=b7c854659a47912283e30f077eaffae66f581161

github mathlib4 bot (Apr 24 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-24 branch from nightly-testing (specifically ecc420518f8f2d69925a6c22bad0bfecacfb5d09), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-24 --nightlysha=ecc420518f8f2d69925a6c22bad0bfecacfb5d09

Kim Morrison (Apr 24 2025 at 12:16):

Hmm, didn't have the zulip client available where I ran this, so no messages generated.

github mathlib4 bot (Apr 24 2025 at 12:17):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-24 branch from nightly-testing (specifically ecc420518f8f2d69925a6c22bad0bfecacfb5d09), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-24 --nightlysha=ecc420518f8f2d69925a6c22bad0bfecacfb5d09

github mathlib4 bot (Apr 25 2025 at 10:11):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-25 branch from nightly-testing (specifically 286cc68121f180f65ad8e0bf5477ee3562448215), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-25 --nightlysha=286cc68121f180f65ad8e0bf5477ee3562448215

github mathlib4 bot (Apr 26 2025 at 12:58):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-26 branch from nightly-testing (specifically 691012f8af16d798b52f24ff54afe386db372ebf), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-26 --nightlysha=691012f8af16d798b52f24ff54afe386db372ebf

github mathlib4 bot (Apr 27 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-27 branch from nightly-testing (specifically f39898c3b2ccb880c809fe71d5f17e0580083055), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-27 --nightlysha=f39898c3b2ccb880c809fe71d5f17e0580083055

github mathlib4 bot (Apr 28 2025 at 10:35):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-28 branch from nightly-testing (specifically 10c9af04f478fdab0a9986666bd409f667c66877), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-28 --nightlysha=10c9af04f478fdab0a9986666bd409f667c66877

github mathlib4 bot (Apr 29 2025 at 09:26):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-29 branch from nightly-testing (specifically e44568d1ebb500723a2f02076b4afd29a17925e5), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-29 --nightlysha=e44568d1ebb500723a2f02076b4afd29a17925e5

github mathlib4 bot (Apr 30 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-04-30 branch from nightly-testing (specifically ad85961fb2443f811b7386a5b3f5f12c50101258), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-04-30 --nightlysha=ad85961fb2443f811b7386a5b3f5f12c50101258

github mathlib4 bot (May 01 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-01 branch from nightly-testing (specifically 67a2a93da9045a7d16d77d61d2a8552f3b864b53), and then PR that to "bump/v4.20.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.20.0" --nightlydate=2025-05-01 --nightlysha=67a2a93da9045a7d16d77d61d2a8552f3b864b53

github mathlib4 bot (May 02 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-02 branch from nightly-testing (specifically 28bf3fb94484af678a4c5d947526ccf1a26479b2), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-02 --nightlysha=28bf3fb94484af678a4c5d947526ccf1a26479b2

github mathlib4 bot (May 03 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-03 branch from nightly-testing (specifically bb8010e8869d6980bf352026b3322fc58fe2d7f8), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-03 --nightlysha=bb8010e8869d6980bf352026b3322fc58fe2d7f8

github mathlib4 bot (May 05 2025 at 11:37):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-05 branch from nightly-testing (specifically dbc813af49dcc0bbc1d676f5ee4c14bf0f888327), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-05 --nightlysha=dbc813af49dcc0bbc1d676f5ee4c14bf0f888327

github mathlib4 bot (May 06 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-06 branch from nightly-testing (specifically a4a8ea8dc1dcfd1e57e714d2d45ac4616f5fed72), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-06 --nightlysha=a4a8ea8dc1dcfd1e57e714d2d45ac4616f5fed72

github mathlib4 bot (May 07 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-07 branch from nightly-testing (specifically fe9cba08e2051a3fdd65c46f6caa5aa3076f5b52), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-07 --nightlysha=fe9cba08e2051a3fdd65c46f6caa5aa3076f5b52

github mathlib4 bot (May 08 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-08 branch from nightly-testing (specifically 4f457b5eef36a42b4426022d9b0b956c397ccf5e), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-08 --nightlysha=4f457b5eef36a42b4426022d9b0b956c397ccf5e

github mathlib4 bot (May 09 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-09 branch from nightly-testing (specifically e44eecdb461bc5a976dc1a2306605d82e022ef1a), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-09 --nightlysha=e44eecdb461bc5a976dc1a2306605d82e022ef1a

github mathlib4 bot (May 10 2025 at 09:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-10 branch from nightly-testing (specifically 68bd53833775be628e3240c8ad483592b578fa1e), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-10 --nightlysha=68bd53833775be628e3240c8ad483592b578fa1e

github mathlib4 bot (May 11 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-11 branch from nightly-testing (specifically 128c629f08911c7e9354572c01561867df084a63), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-11 --nightlysha=128c629f08911c7e9354572c01561867df084a63

github mathlib4 bot (May 12 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-12 branch from nightly-testing (specifically 3007e0de358b943a0d4b3415b80cfb74e8980805), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-12 --nightlysha=3007e0de358b943a0d4b3415b80cfb74e8980805

github mathlib4 bot (May 13 2025 at 13:02):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-13 branch from nightly-testing (specifically a78b91642d68ee2b02f0239fe2f068e920f7c6c0), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-13 --nightlysha=a78b91642d68ee2b02f0239fe2f068e920f7c6c0

github mathlib4 bot (May 14 2025 at 10:49):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-14 branch from nightly-testing (specifically 3380f851dba8bd16934302f22d1186ab7a9f8a94), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-14 --nightlysha=3380f851dba8bd16934302f22d1186ab7a9f8a94

github mathlib4 bot (May 15 2025 at 09:43):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-15 branch from nightly-testing (specifically 0f5071e957a60b3876a71902cd018f7b6625ea53), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-15 --nightlysha=0f5071e957a60b3876a71902cd018f7b6625ea53

github mathlib4 bot (May 16 2025 at 11:05):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-16 branch from nightly-testing (specifically 9fb04c93eee9fb9e8c34030c1891000f827b3437), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-16 --nightlysha=9fb04c93eee9fb9e8c34030c1891000f827b3437

github mathlib4 bot (May 17 2025 at 10:35):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-17 branch from nightly-testing (specifically f54613ab874c98b28575147d79c676b89981df6c), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-17 --nightlysha=f54613ab874c98b28575147d79c676b89981df6c

github mathlib4 bot (May 19 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-19 branch from nightly-testing (specifically 6651d5df12a921d15e6b0fdab8f51effd0ccec60), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-19 --nightlysha=6651d5df12a921d15e6b0fdab8f51effd0ccec60

github mathlib4 bot (May 21 2025 at 00:24):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-20 branch from nightly-testing (specifically b2ac281f8ec5cffa65ee84b2e4f9aacb28f371b4), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-20 --nightlysha=b2ac281f8ec5cffa65ee84b2e4f9aacb28f371b4

github mathlib4 bot (May 21 2025 at 22:55):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-21 branch from nightly-testing (specifically ca3cd508e6cfc49ccbd166877214238a1f50a3bb), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-21 --nightlysha=ca3cd508e6cfc49ccbd166877214238a1f50a3bb

github mathlib4 bot (May 22 2025 at 13:02):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-22 branch from nightly-testing (specifically ecb656bc81b9b6cd8771c42dcd0f616dae4c9329), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-22 --nightlysha=ecb656bc81b9b6cd8771c42dcd0f616dae4c9329

github mathlib4 bot (May 24 2025 at 09:02):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-23 branch from nightly-testing (specifically 4b6838599e6fbf993014aa6453b42427a376de7d), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-23 --nightlysha=4b6838599e6fbf993014aa6453b42427a376de7d

github mathlib4 bot (May 24 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-24 branch from nightly-testing (specifically 65db7b5d55eef5650e6fd644216783d8be833ef9), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-24 --nightlysha=65db7b5d55eef5650e6fd644216783d8be833ef9

github mathlib4 bot (May 25 2025 at 09:50):

:working_on_it:: it looks like it's time to create a new bump/nightly-2025-05-25 branch from nightly-testing (specifically d5643f9165551051a18c95bcfba9c4e5afa62f95), and then PR that to "bump/v4.21.0". To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion="v4.21.0" --nightlydate=2025-05-25 --nightlysha=d5643f9165551051a18c95bcfba9c4e5afa62f95

github mathlib4 bot (May 29 2025 at 23:36):

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-05-29 branch from nightly-testing (specifically 33ce662d447121e0a98b1e806b966d3742e0c5b5), and then PR that to bump/v4.21.0. To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.21.0 --nightlydate=2025-05-29 --nightlysha=33ce662d447121e0a98b1e806b966d3742e0c5b5

github mathlib4 bot (Aug 11 2025 at 09:53):

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-08-11 branch from nightly-testing (specifically 5315e5db4b93cfbb139249422d686785ab21b2a1), and then PR that to bump/v4.23.0. To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.23.0 --nightlydate=2025-08-11 --nightlysha=5315e5db4b93cfbb139249422d686785ab21b2a1

github mathlib4 bot (Sep 02 2025 at 13:02):

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-09-02 branch from nightly-testing (specifically 6f1381fa30f0860ebc6c1c23eb773b558ce5ca29), and then PR that to bump/v4.24.0. To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.24.0 --nightlydate=2025-09-02 --nightlysha=6f1381fa30f0860ebc6c1c23eb773b558ce5ca29

github mathlib4 bot (Sep 08 2025 at 00:04):

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-09-07 branch from nightly-testing (specifically 9d75ace5931199084a56eb41697645158c3f1d72), and then PR that to bump/v4.24.0. To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.24.0 --nightlydate=2025-09-07 --nightlysha=9d75ace5931199084a56eb41697645158c3f1d72

github mathlib4 bot (Sep 12 2025 at 09:49):

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

./scripts/create-adaptation-pr.sh --bumpversion=v4.24.0 --nightlydate=2025-09-12 --nightlysha=d5aa91e17e5ff478bbc840a09cdd0a858cb80b4c

github mathlib4 bot (Sep 14 2025 at 23:06):

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

./scripts/create-adaptation-pr.sh --bumpversion=v4.24.0 --nightlydate=2025-09-14 --nightlysha=b83beda57cc07e6221075f83b99f14885903d261

github mathlib4 bot (Sep 21 2025 at 23:27):

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-09-21 branch from nightly-testing (specifically 15a1cfc8b9e8191e67ebeaf5a6adf8abff3ab742), and then PR that to bump/v4.25.0. To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.25.0 --nightlydate=2025-09-21 --nightlysha=15a1cfc8b9e8191e67ebeaf5a6adf8abff3ab742

github mathlib4 bot (Oct 25 2025 at 09:50):

:working_on_it:: Automatic PR creation failed. Please create a new bump/nightly-2025-10-25 branch from nightly-testing (specifically 5219ff865e343e4176df85c1db45d0cdd3ddda91), and then PR that to bump/v4.26.0. To do so semi-automatically, run the following script from Batteries root:

./scripts/create-adaptation-pr.sh --bumpversion=v4.26.0 --nightlydate=2025-10-25 --nightlysha=5219ff865e343e4176df85c1db45d0cdd3ddda91

github mathlib4 bot (Nov 02 2025 at 10:12):

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

./scripts/create-adaptation-pr.sh --bumpversion=v4.26.0 --nightlydate=2025-11-02 --nightlysha=a747dd9d4cb480b3f063895e1c1a77bf49ec315d

github mathlib4 bot (Nov 02 2025 at 10:13):

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

./scripts/create-adaptation-pr.sh --bumpversion=v4.26.0 --nightlydate=2025-11-02 --nightlysha=a747dd9d4cb480b3f063895e1c1a77bf49ec315d

github mathlib4 bot (Nov 24 2025 at 10:40):

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

./scripts/create-adaptation-pr.sh --bumpversion=v4.27.0 --nightlydate=2025-11-24 --nightlysha=7444211aa83390b018718c0300bdcf518b8cd5db

github mathlib4 bot (Nov 25 2025 at 10:18):

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

./scripts/create-adaptation-pr.sh --bumpversion=v4.27.0 --nightlydate=2025-11-25 --nightlysha=7ba90e320ee46ae77772b2b747af5511ceb2e577

github mathlib4 bot (Dec 10 2025 at 09:57):

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

./scripts/create-adaptation-pr.sh --bumpversion=v4.27.0 --nightlydate=2025-12-10 --nightlysha=faaece101b4c82137c08f13af38e03ca58267d20

github mathlib4 bot (Dec 14 2025 at 08:56):

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

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

Last updated: Dec 20 2025 at 21:32 UTC