batteries not updated

Stream: mathlib4

[Wrenna Robson]

How come when batteries is updated, mathlib is not also updated? Currently mathlib seems to be behind the current version of batteries (such that it changes on a lake update)? I would think that CI would check for this kind of thing.

[Markus Himmel]

There is a bot that runs lake update hourly and posts a PR if a dependency changes, but for some reason it seems to believe that nothing has changed. Possibly a regression from #30095, cc @Bryan Gin-ge Chen

[Wrenna Robson]

Aha.

[Bryan Gin-ge Chen]

I noticed this yesterday and opened #30381 to fix it. (Please merge it if it looks reasonable!)

[Markus Himmel]

Perfect, thanks!

[Wrenna Robson]

So the bot should post a relevant PR in an hour or so?

[Markus Himmel]

Looking good: #30401

[Bryan Gin-ge Chen]

I'm pleasantly surprised there were no breaking changes even though it's been a week!

[Wrenna Robson]

I think the fact that batteries checks for compatibility with Mathlib probably helps