This repo contains cron jobs for the following leanprover-community task:
- the triage Zulip bot: posts a random issue and PR to the Lean Zulip daily
- blog and website report bot: posts a summary of open PRs in the website repo and blog repo to the Lean Zulip weekly
The following tasks / workflows are outdated and no longer run:
- update mathlib's
lean-3.x.ybranch - update mathlib's linting exception files
- delete stale olean archives from Azure
- update the Lean+mathlib+vscodium bundles
The cron jobs in this repo used to stop periodically without attention, but the liskin/gh-workflow-keepalive should keep them working from now on.