Skip to content

Conversation

@gwynne
Copy link
Member

@gwynne gwynne commented Oct 21, 2022

No description provided.

@gwynne gwynne added the no-release-needed Doesn't require a release label Oct 21, 2022
@gwynne gwynne requested a review from 0xTim October 21, 2022 01:33
@gwynne gwynne self-assigned this Oct 21, 2022
@codecov-commenter
Copy link

codecov-commenter commented Oct 21, 2022

Codecov Report

Merging #200 (7a5d9ac) into main (a8b2839) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #200   +/-   ##
=======================================
  Coverage   78.74%   78.74%           
=======================================
  Files           7        7           
  Lines         414      414           
=======================================
  Hits          326      326           
  Misses         88       88           
Flag Coverage Δ
unittests 78.74% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

@gwynne gwynne merged commit 0e6e0b6 into main Oct 22, 2022
@gwynne gwynne deleted the update-ci branch October 22, 2022 07:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-release-needed Doesn't require a release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants