Clean up caches generated by pull requests

Large poset of real numbers #574

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Triggered via pull request February 7, 2025 00:22

closed #1289

lowasser:large-poset-real

Status Success

Total duration 13s

Artifacts –

clean-up.yaml

on: pull_request