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

reqs: version check for distributed #1830

Merged
merged 1 commit into from
Feb 1, 2022
Merged

reqs: version check for distributed #1830

merged 1 commit into from
Feb 1, 2022

Conversation

georgebisbas
Copy link
Contributor

No description provided.

@georgebisbas georgebisbas added the dependencies Pull requests that update a dependency file label Jan 31, 2022
@georgebisbas georgebisbas requested a review from mloubout January 31, 2022 16:20
@codecov
Copy link

codecov bot commented Jan 31, 2022

Codecov Report

Merging #1830 (71c7263) into master (7216a27) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1830   +/-   ##
=======================================
  Coverage   89.53%   89.53%           
=======================================
  Files         209      209           
  Lines       34487    34487           
  Branches     5209     5209           
=======================================
  Hits        30879    30879           
  Misses       3116     3116           
  Partials      492      492           

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 7216a27...71c7263. Read the comment docs.

@georgebisbas georgebisbas force-pushed the distributed_version branch 2 times, most recently from 02ee81d to 16dabbb Compare February 1, 2022 16:32
Copy link
Contributor

@FabioLuporini FabioLuporini left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, @mloubout ?

@mloubout mloubout merged commit 35d00a1 into master Feb 1, 2022
@georgebisbas georgebisbas deleted the distributed_version branch February 2, 2022 11:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants