Joseph Myers (Feb 17 2022 at 12:04):
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 (Feb 17 2022 at 12:06):
Thanks for noticing! I've restarted the workflow.
Riccardo Brasca (Apr 21 2022 at 12:59):
I think this happened again (I don't know what "this" is, but
leanproject up is not working).
Johan Commelin (Apr 21 2022 at 13:04):
cc @Gabriel Ebner
Bryan Gin-ge Chen (Apr 21 2022 at 13:11):
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 (Apr 21 2022 at 13:13):
Bryan Gin-ge Chen (Apr 21 2022 at 13:14):
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.
Last updated: Aug 03 2023 at 10:10 UTC