Skip to content

Conversation

@armanbilge
Copy link
Member

This reverts commit 2a1785b.

@codecov
Copy link

codecov bot commented Dec 4, 2022

Codecov Report

Merging #751 (5ee1a84) into main (125b9b2) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #751   +/-   ##
=======================================
  Coverage   87.23%   87.23%           
=======================================
  Files         111      111           
  Lines        1512     1512           
  Branches      108      104    -4     
=======================================
  Hits         1319     1319           
  Misses        193      193           

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

@mpilquist mpilquist merged commit 2fc6c2e into typelevel:main Dec 16, 2022
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