push
circle-ci
<a href="https://github.com/brian-team/brian2/commit/<a class=hub.com/brian-team/brian2/commit/c3682a0d4a8971f123d66d06d87016dedb72b488">c3682a0d4<a href="https://github.com/brian-team/brian2/commit/c3682a0d4a8971f123d66d06d87016dedb72b488">">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/2ea0251632229ecdf5aa87eebb7c17325aad82d6">2ea025163</a>">2ea025163</a><a href="https://github.com/brian-team/brian2/commit/c3682a0d4a8971f123d66d06d87016dedb72b488"> into df8122191">df8122191</a>
5098 of 6006 branches covered (84.88%)
14613 of 15910 relevant lines covered (91.85%)
2.36 hits per line
The file "/home/vsts/test_env/lib/python3.8/site-packages/brian2/codegen/cpp_prefs.py" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.