Skip to content

Conversation

@charlielito
Copy link

In the docs there is beta param, which does not correspond to any param of Precision.

@codecov
Copy link

codecov bot commented Jan 14, 2021

Codecov Report

Merging #5520 (f8082a3) into master (7f352cb) will decrease coverage by 1%.
The diff coverage is 95%.

@@           Coverage Diff           @@
##           master   #5520    +/-   ##
=======================================
- Coverage      93%     93%    -1%     
=======================================
  Files         135     152    +17     
  Lines       10007   10736   +729     
=======================================
+ Hits         9341    9948   +607     
- Misses        666     788   +122     

@Borda Borda added the docs Documentation related label Jan 15, 2021
@Borda Borda enabled auto-merge (squash) January 15, 2021 07:44
@Borda Borda added the ready PRs ready to be merged label Jan 15, 2021
@Borda Borda added this to the 1.2 milestone Jan 15, 2021
@SkafteNicki
Copy link
Collaborator

@Borda the metrics + docs are being overhaul in #4842 which also removes this error.
Should this instead target master for quick fix the docs right now?

@Borda Borda added the duplicate This issue or pull request already exists label Jan 15, 2021
@Borda
Copy link
Collaborator

Borda commented Jan 15, 2021

@SkafteNicki so you suggest closing this one just let it merge as a small bugfix...

@SkafteNicki
Copy link
Collaborator

@Borda yes, change target to master and let it pass as a bugfix (I would say that we usually let pure doc fixes pass directly to master)

@Borda Borda changed the base branch from release/1.2-dev to master January 15, 2021 18:15
@rohitgr7
Copy link
Contributor

rohitgr7 commented Jan 15, 2021

I guess duplicate #5532? close one of them

In the docs there is `beta` param, which does not correspond to any param of `Precision`.
@rohitgr7 rohitgr7 closed this Jan 15, 2021
auto-merge was automatically disabled January 15, 2021 20:36

Pull request was closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation related duplicate This issue or pull request already exists ready PRs ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants