cleanup caches generated by pull requests

rational commutative monoids #146

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Triggered via pull request September 13, 2023 15:00

closed #763

EgbertRijke:rational-monoids

Status Success

Total duration 15s

Artifacts –

clean-up.yaml

on: pull_request