This repo contains cron jobs for the following leanprover-community tasks:

• update mathlib's lean-3.x.y branch
• 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!