cleanup caches generated by pull requests

If `f` is a `k`-epi, then so is its `k`-truncation #275

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cleanup	7s
	7s