cdcl: `cron` & dashboard in cloud land

permalink
/

Dashboard

060c106a2b42d68d20b2e832971e5e04

Full breakdown

Run tasks at scheduled times in the cloud.

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

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?

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
.github/workflows		.github/workflows
_layouts		_layouts
.gitignore		.gitignore
.pre-commit-config.yaml		.pre-commit-config.yaml
CNAME		CNAME
README.md		README.md
_config.yml		_config.yml
main.js		main.js