chore: reenable cron job for updating mathlib4

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

43 stars 15 forks source link

Closed kim-em closed 1 year ago

digama0 commented 1 year ago

manually merged in 7d1d184, so that github pings me for issues caused by the cron job