This repo contains cron jobs for the following leanprover-community tasks:
- 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 will stop periodically without attention!