Skip to content

Conversation

germa89
Copy link
Collaborator

@germa89 germa89 commented May 27, 2022

Close #1140

@germa89 germa89 self-assigned this May 27, 2022
Co-authored-by: Alex Kaszynski <akascap@gmail.com>
@codecov
Copy link

codecov bot commented May 27, 2022

Codecov Report

Merging #1141 (ec63166) into main (428d05d) will not change coverage.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##             main    #1141   +/-   ##
=======================================
  Coverage   74.62%   74.62%           
=======================================
  Files          43       43           
  Lines        6734     6734           
=======================================
  Hits         5025     5025           
  Misses       1709     1709           

Copy link
Collaborator

@akaszynski akaszynski left a comment

Choose a reason for hiding this comment

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

LGTM

@akaszynski akaszynski merged commit beb9c22 into main May 27, 2022
@akaszynski akaszynski deleted the fix/arg-selection branch May 27, 2022 19: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.

Nightly documentation build process failing

2 participants