GitLab is used only for code review, issue tracking and project management. Canonical locations for source code are still https://gitweb.torproject.org/ https://git.torproject.org/ and git-rw.torproject.org.
This is one of the few remaining instances of flapping coverage in coveralls. They both appear to be related to shared_random.
compare this and this
also this and this