cleanup caches generated by pull requests

Opposite categories, gaunt categories, replete subprecategories, large Yoneda, and miscellaneous additions #254

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

The logs for this run have expired and are no longer available.