Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: bump cometbft #1018

Merged
merged 2 commits into from
Aug 28, 2023
Merged

chore: bump cometbft #1018

merged 2 commits into from
Aug 28, 2023

Conversation

Pantani
Copy link
Collaborator

@Pantani Pantani commented Jul 5, 2023

No description provided.

@Pantani Pantani requested a review from ilgooz as a code owner July 5, 2023 16:11
@Pantani Pantani self-assigned this Jul 5, 2023
jeronimoalbi
jeronimoalbi previously approved these changes Jul 6, 2023
@codecov
Copy link

codecov bot commented Aug 28, 2023

Codecov Report

Merging #1018 (686b592) into main (e5b0863) will increase coverage by 0.02%.
Report is 1 commits behind head on main.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main    #1018      +/-   ##
==========================================
+ Coverage   71.38%   71.40%   +0.02%     
==========================================
  Files         218      218              
  Lines        9471     9471              
==========================================
+ Hits         6761     6763       +2     
+ Misses       2538     2537       -1     
+ Partials      172      171       -1     

see 1 file with indirect coverage changes

@Pantani Pantani merged commit a3fea38 into main Aug 28, 2023
14 checks passed
@Pantani Pantani deleted the chore/bump-cometbft branch August 28, 2023 13:16
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