Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rename TSK_TAKE_TABLES to TSK_TAKE_OWNERSHIP #2222

Merged
merged 1 commit into from
Apr 28, 2022

Conversation

benjeffery
Copy link
Member

Fixes #2221

@codecov
Copy link

codecov bot commented Apr 28, 2022

Codecov Report

Merging #2222 (f4e0ce1) into main (f4e0ce1) will not change coverage.
The diff coverage is n/a.

❗ Current head f4e0ce1 differs from pull request most recent head 29de713. Consider uploading reports for the commit 29de713 to get more accurate results

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #2222   +/-   ##
=======================================
  Coverage   93.29%   93.29%           
=======================================
  Files          27       27           
  Lines       25992    25992           
  Branches     1165     1165           
=======================================
  Hits        24249    24249           
  Misses       1713     1713           
  Partials       30       30           
Flag Coverage Δ
c-tests 92.20% <0.00%> (ø)
lwt-tests 89.05% <0.00%> (ø)
python-c-tests 72.06% <0.00%> (ø)
python-tests 98.87% <0.00%> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.


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 f4e0ce1...29de713. Read the comment docs.

@jeromekelleher jeromekelleher added the AUTOMERGE-REQUESTED Ask Mergify to merge this PR label Apr 28, 2022
@mergify mergify bot merged commit 23fd277 into tskit-dev:main Apr 28, 2022
@mergify mergify bot removed the AUTOMERGE-REQUESTED Ask Mergify to merge this PR label Apr 28, 2022
@benjeffery benjeffery deleted the rename_take_tables branch April 28, 2022 12:22
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.

Rename TSK_TAKE_TABLES to TSK_TAKE_OWNERSHIP
2 participants