cdcl: cron & dashboard in cloud land

Dashboard

060c106a2b42d68d20b2e832971e5e04

---

---

Full breakdown

---

Cron

Run tasks at scheduled times in the cloud.

Backends/providers

• Travis CI
  • con: can be at most daily
  • con: caches are accessible by PRs
• 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?