Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
SCons: Fix potential error when pruning cache on CI
This could cause spurious errors on CI when trying to prune the cache, as for some reason it tries to remove files/paths which do not exist. That points at a bug in the `cache_progress` logic but at least this workaround should prevent CI failures.
- Loading branch information