push
circle-ci
<a href="https://github.com/brian-team/brian2/commit/<a class=hub.com/brian-team/brian2/commit/61f3b2574c1ed34ca546735ee8e32bc4baf2d1bb">61f3b2574<a href="https://github.com/brian-team/brian2/commit/61f3b2574c1ed34ca546735ee8e32bc4baf2d1bb">">Merge </a><a class="double-link" href="https://github.com/brian-team/brian2/commit/<a class="double-link" href="https://github.com/brian-team/brian2/commit/cf86f02031f5910bb5fba016aa3a2d57aec4a20d">cf86f0203</a>">cf86f0203</a><a href="https://github.com/brian-team/brian2/commit/61f3b2574c1ed34ca546735ee8e32bc4baf2d1bb"> into df8122191">df8122191</a>
5097 of 6004 branches covered (84.89%)
14608 of 15904 relevant lines covered (91.85%)
2.36 hits per line
The file "/home/vsts/test_env/lib/python3.8/site-packages/brian2/__init__.py" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.