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

Last updated: May 02 2025 at 03:31 UTC