Skip to content

Corrections to metrics vignette#307

Merged
nikosbosse merged 8 commits intomainfrom
metrics-vignette
Jul 25, 2023
Merged

Corrections to metrics vignette#307
nikosbosse merged 8 commits intomainfrom
metrics-vignette

Conversation

@sbfnk
Copy link
Copy Markdown
Contributor

@sbfnk sbfnk commented Jul 25, 2023

  • surfaces some text bits hidden by stray latex commands
  • adds a short explanation to integer bias
  • corrects bias boundary to -1 to 1
  • some minor fixes

@codecov
Copy link
Copy Markdown

codecov bot commented Jul 25, 2023

Codecov Report

Merging #307 (b24e55d) into main (b11b970) will not change coverage.
The diff coverage is n/a.

❗ Current head b24e55d differs from pull request most recent head db55f05. Consider uploading reports for the commit db55f05 to get more accurate results

@@           Coverage Diff           @@
##             main     #307   +/-   ##
=======================================
  Coverage   89.68%   89.68%           
=======================================
  Files          22       22           
  Lines        1377     1377           
=======================================
  Hits         1235     1235           
  Misses        142      142           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

Copy link
Copy Markdown
Collaborator

@nikosbosse nikosbosse left a comment

Choose a reason for hiding this comment

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

Nice, thanks a lot!

@nikosbosse nikosbosse merged commit 430da56 into main Jul 25, 2023
@nikosbosse nikosbosse deleted the metrics-vignette branch July 25, 2023 08:57
@seabbs
Copy link
Copy Markdown
Contributor

seabbs commented Jul 25, 2023

Flagging this PR was missing a news + dev version update.

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.

3 participants