Clean up caches generated by pull requests

Refactor coproduct equivalences #601

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Triggered via pull request February 11, 2025 14:22

closed #1137

morphismz:coproduct-equivs

Status Success

Total duration 13s

Artifacts –

clean-up.yaml

on: pull_request