push
circle-ci
<a href="https://github.com/brian-team/brian2/commit/<a class=hub.com/brian-team/brian2/commit/1fdcde6be9843ddf422a0ea7e5c708c6547aebe5">1fdcde6be<a href="https://github.com/brian-team/brian2/commit/1fdcde6be9843ddf422a0ea7e5c708c6547aebe5">">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/d94c80e54a0bc1b0d9949443724c0bf5700ceb86">d94c80e54</a>">d94c80e54</a><a href="https://github.com/brian-team/brian2/commit/1fdcde6be9843ddf422a0ea7e5c708c6547aebe5"> into 6e8186839">6e8186839</a>
5119 of 6034 branches covered (84.84%)
14637 of 15947 relevant lines covered (91.79%)
2.42 hits per line
The file "/home/vsts/test_env/lib/python3.8/site-packages/brian2/core/base.py" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.