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

Fix dep versions #2875

Merged
merged 1 commit into from
Dec 5, 2023
Merged

Fix dep versions #2875

merged 1 commit into from
Dec 5, 2023

Conversation

benjeffery
Copy link
Member

Seems some updates broke our CI dependency set, the 3.7 pins needed removing anyway.

Copy link

codecov bot commented Dec 5, 2023

Codecov Report

Merging #2875 (9ab5829) into main (813f4ed) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #2875   +/-   ##
=======================================
  Coverage   89.69%   89.69%           
=======================================
  Files          30       30           
  Lines       30159    30159           
  Branches     5860     5860           
=======================================
  Hits        27052    27052           
  Misses       1778     1778           
  Partials     1329     1329           
Flag Coverage Δ
c-tests 86.09% <ø> (ø)
lwt-tests 80.78% <ø> (ø)
python-c-tests 67.89% <ø> (ø)
python-tests 98.92% <ø> (ø)

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


Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 813f4ed...9ab5829. Read the comment docs.

@benjeffery benjeffery added the AUTOMERGE-REQUESTED Ask Mergify to merge this PR label Dec 5, 2023
@mergify mergify bot merged commit 77faade into tskit-dev:main Dec 5, 2023
23 checks passed
@mergify mergify bot removed the AUTOMERGE-REQUESTED Ask Mergify to merge this PR label Dec 5, 2023
@benjeffery benjeffery deleted the fix-deps branch December 5, 2023 15:14
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.

None yet

2 participants