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 to the official v1.0.0 tag of celestia-app #2831

Merged
merged 1 commit into from
Oct 11, 2023

Conversation

evan-forbes
Copy link
Member

Overview

bumps to the official tag for celestia-app. This is a non-breaking change.

Checklist

  • New and updated code has appropriate documentation
  • New and updated code has new and/or updated testing
  • Required CI checks are passing
  • Visual proof for any user facing features like CLI or documentation updates
  • Linked issues closed with keywords

@evan-forbes evan-forbes added the kind:deps Pull requests that update a dependency file label Oct 9, 2023
@evan-forbes evan-forbes self-assigned this Oct 9, 2023
@github-actions github-actions bot added the external Issues created by non node team members label Oct 9, 2023
@codecov-commenter
Copy link

Codecov Report

Merging #2831 (ba228fd) into main (00b32a8) will decrease coverage by 0.36%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2831      +/-   ##
==========================================
- Coverage   51.50%   51.15%   -0.36%     
==========================================
  Files         168      168              
  Lines       10764    10764              
==========================================
- Hits         5544     5506      -38     
- Misses       4743     4775      +32     
- Partials      477      483       +6     

see 6 files with indirect coverage changes

@distractedm1nd distractedm1nd merged commit 127eca7 into main Oct 11, 2023
18 of 21 checks passed
@distractedm1nd distractedm1nd deleted the evan/bump-app-v1.0.0 branch October 11, 2023 16:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
external Issues created by non node team members kind:deps Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants