Mathlib docs don't update

Stream: ecosystem infrastructure

[Snir Broshi]

Mathlib docs stopped getting updates 4 days ago

image.png

[Snir Broshi]

Reminds me of Netflix's "Are you still watching?" :sweat_smile:

[Bryan Gin-ge Chen]

Thanks for the report! There's a workflow that will automatically click that button (via GitHub API). I'll look into adding it in a few hours.

[Bryan Gin-ge Chen]

OK, I've re-enabled the workflow and added a job that should keep it from getting disabled in mathlib4_docs#9.

[Snir Broshi]

Bryan Gin-ge Chen said:

There's a workflow that will automatically click that button (via GitHub API)

The fact that this exists is pretty funny IMO, GitHub actions created an unnecessary problem and to fix it we use another GitHub action :joy: