lean-3.39.1 branch not updating

Stream: general

[Joseph Myers]

Whatever process updates the lean-3.39.1 branch of mathlib hasn't updated it for any of the commits to master in the past day.

[Gabriel Ebner]

Thanks for noticing! I've restarted the workflow.

[Riccardo Brasca]

I think this happened again (I don't know what "this" is, but leanproject up is not working).

[Johan Commelin]

cc @Gabriel Ebner

[Bryan Gin-ge Chen]

I've re-enabled the workflows. For future reference, if this happens again, any maintainer can head to https://github.com/leanprover-community/azure-scripts/actions and click on each workflow with a warning icon next to it and re-enable it manually.

[Riccardo Brasca]

Thanks!

[Bryan Gin-ge Chen]

I've also just manually re-run the last workflow here so that we don't have to wait another half hour or so for it to be retriggered.