Closed mneumann closed 1 year ago
It will slow down cloning git repositories.
This should fix issue #447 both locally or on CI.
TODO: A better alternative would be to retry upon failure.
Not sure why MacOS CI failed, but it seems unrelated.
I'll go ahead and merge.
It will slow down cloning git repositories.
This should fix issue #447 both locally or on CI.
TODO: A better alternative would be to retry upon failure.