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