Clean up caches generated by pull requests

Adjustments 1000+ theorems #608

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Triggered via pull request February 14, 2025 20:27

closed #1325

fredrik-bakke:1000+followup

Status Success

Total duration 16s

Artifacts –

clean-up.yaml

on: pull_request