Closed jeff-cohere closed 3 years ago
Merging #190 (b57d34c) into master (5b0dfec) will not change coverage. The diff coverage is
n/a
.:exclamation: Current head b57d34c differs from pull request most recent head 3552ecf. Consider uploading reports for the commit 3552ecf to get more accurate results
@@ Coverage Diff @@
## master #190 +/- ##
=======================================
Coverage 67.73% 67.73%
=======================================
Files 7 7
Lines 1221 1221
=======================================
Hits 827 827
Misses 394 394
Continue to review full report at Codecov.
Legend - Click here to learn more
Δ = absolute <relative> (impact)
,ø = not affected
,? = missing data
Powered by Codecov. Last update 5b0dfec...3552ecf. Read the comment docs.
To clarify our dependencies, we note the tested PETSc revision in our README, and refer to the appropriate Docker image tag in our workflow files. In particular, we no longer use the
latest
tag, which is uninformative.The only code change needed to adopt this new rev is the location of the
khash
header files.In support of #188