Learn more about these different git repos.
Other Git URLs
The temporary directory created by docker, to run the static analyzers, was seted with root permissions. Because of this, we can't remove the directory. The /tmp is full of empty directories with root as owner.
Metadata Update from @davidcarlos:
- Issue set to the milestone: version 0.2.3
- Issue tagged with: Bug
Commit 6c7cf6a fixes this issue
Commit b76bf1d fixes this issue
to comment on this ticket.