feat: add cleanup step - Githubissues

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.

Apache License 2.0

171 stars 29 forks source link

Closed fpvandoorn closed 1 month ago

fpvandoorn commented 5 months ago

I added this step to the Carleson repository, which fixed an issue with running out of disk space (screenshot here). The code is copied from Mathlib4 CI.

fpvandoorn commented 5 months ago

I should mention that only the first line did something in my case (I believe)