Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This pull request introduces a new workflow that automatically deletes caches created for closed pull requests. This is necessary because these caches can quickly accumulate and take up valuable server space, which is especially important now that we have many pull requests being created regularly.
- Loading branch information