Closed garlick closed 1 year ago
Merging #73 (27515e4) into main (8f8281d) will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## main #73 +/- ##
=======================================
Coverage 79.44% 79.44%
=======================================
Files 10 10
Lines 1231 1231
=======================================
Hits 978 978
Misses 253 253
:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more
Thanks! Setting MWP.
Problem: the project cannot be built without openmpi, but it doesn't really depend on it, just a few tests.
Make openmpi optional and skip those tests if it's not configured.
Fix some outdated stuff in the
configure.ac
while we're at it.