Version branches

Stream: general

[Alex J. Best]

Does anyone have any idea why https://github.com/leanprover-community/mathlib/commits/lean-3.35.1 has been stuck for the last few days? It should update with master right? Better yet does anyone know how to fix it :smile:!
With this stuck it means other projects won't ungrade mathlib with leanproject up

[Rob Lewis]

The script is in another repo that hasn't seen any attention in 60 days, I just pushed something so it should start up again!

[Alex J. Best]

Still seems like this branch is stuck unfortunately, which repo is the script in?

[Rob Lewis]

azure-scripts. Apparently pushing didn't restart it, I just clicked the restart buttons for all the scripts in that repo

[Rob Lewis]

The triage bot should wake up now too

[Alex J. Best]

@maintainers https://github.com/leanprover-community/mathlib/tree/lean-3.44.1 is stuck as of 3 days ago, I guess this is the same issue as before https://github.com/leanprover-community/azure-scripts/actions

[Gabriel Ebner]

Thanks for noticing! I've reenabled it.

[Alex J. Best]

@Gabriel Ebner , can this be restarted again

[Eric Wieser]

Done