Skip to content

Conversation

@petrelharp
Copy link
Contributor

As pointed out by @jeromekelleher at #892 (comment)

@petrelharp
Copy link
Contributor Author

(note: I created this PR using the "edit" button up top)

@AdminBot-tskit
Copy link
Collaborator

📖 Docs for this PR can be previewed here

@codecov
Copy link

codecov bot commented Oct 20, 2020

Codecov Report

Merging #918 into main will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #918   +/-   ##
=======================================
  Coverage   93.47%   93.47%           
=======================================
  Files          25       25           
  Lines       20029    20029           
  Branches      796      796           
=======================================
  Hits        18723    18723           
  Misses       1272     1272           
  Partials       34       34           

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 d3b7cf2...4264aaf. Read the comment docs.

@mergify mergify bot merged commit d823801 into main Oct 20, 2020
@jeromekelleher jeromekelleher deleted the petrelharp-patch-1 branch October 23, 2020 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants