cdcl: cron & dashboard in cloud land
Dashboard
060c106a2b42d68d20b2e832971e5e04
Full breakdown


Cron
Run tasks at scheduled times in the cloud.
Backends/providers
- Travis CI
- Circle CI
    - pro: can cache between cron runs
 
- GitHub Actions
    - pro: everything in one place (no reliance on third-party providers)
- con: can only cache on push and PR
 
User Configuration
- In-place: the root config files (.travis.yml/.circleci/.github/workflows/etc.)
- TODO: or file layout: (travis|circle|gh)_(day|week|month)_*.y(a)ml?
