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 benchmark CI #2790

Merged
merged 1 commit into from
Jul 11, 2023
Merged

Fix benchmark CI #2790

merged 1 commit into from
Jul 11, 2023

Conversation

benjeffery
Copy link
Member

Give the benchmarks their own, minimal requirements.

@benjeffery benjeffery force-pushed the fix-benchmarks branch 3 times, most recently from 78c117f to bccf5de Compare July 10, 2023 15:31
@codecov
Copy link

codecov bot commented Jul 10, 2023

Codecov Report

Merging #2790 (b89fdca) into main (3d4fc51) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #2790   +/-   ##
=======================================
  Coverage   89.83%   89.83%           
=======================================
  Files          30       30           
  Lines       28624    28624           
  Branches     5590     5590           
=======================================
  Hits        25713    25713           
  Misses       1655     1655           
  Partials     1256     1256           
Flag Coverage Δ
c-tests 86.24% <ø> (ø)
lwt-tests 80.13% <ø> (ø)
python-c-tests 67.13% <ø> (ø)
python-tests 99.01% <ø> (ø)

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 3d4fc51...b89fdca. Read the comment docs.

@jeromekelleher jeromekelleher added the AUTOMERGE-REQUESTED Ask Mergify to merge this PR label Jul 11, 2023
@mergify mergify bot merged commit 5eb173a into tskit-dev:main Jul 11, 2023
21 checks passed
@mergify mergify bot removed the AUTOMERGE-REQUESTED Ask Mergify to merge this PR label Jul 11, 2023
@benjeffery benjeffery deleted the fix-benchmarks branch July 11, 2023 11:13
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.

2 participants