Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Work around registry corruption issues (JuliaLang#41934)
Because our jobs get interrupted, it seems that incomplete registry trees are created pretty often. Let's just not persist them for now.
- Loading branch information