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

ci: add feat-wrapping on push and on pull request ci triggers #267

Merged
merged 1 commit into from
Jun 19, 2023

Conversation

mindoodoo
Copy link
Member

Enables CI for feat-wrapping on push and pull request.

(brought up by #259)

@mindoodoo mindoodoo added the CI label Jun 17, 2023
@mindoodoo mindoodoo requested a review from joshka as a code owner June 17, 2023 09:32
@mindoodoo mindoodoo force-pushed the add-featwrapping-ci branch 2 times, most recently from 8edb5bd to 759ae6a Compare June 17, 2023 09:34
@codecov
Copy link

codecov bot commented Jun 17, 2023

Codecov Report

Merging #267 (759ae6a) into main (130bdf8) will decrease coverage by 0.62%.
The diff coverage is n/a.

❗ Current head 759ae6a differs from pull request most recent head 34cde6f. Consider uploading reports for the commit 34cde6f to get more accurate results

@@            Coverage Diff             @@
##             main     #267      +/-   ##
==========================================
- Coverage   82.38%   81.76%   -0.62%     
==========================================
  Files          35       34       -1     
  Lines        7197     6591     -606     
==========================================
- Hits         5929     5389     -540     
+ Misses       1268     1202      -66     

see 3 files with indirect coverage changes

@joshka joshka enabled auto-merge June 17, 2023 09:40
@orhun
Copy link
Member

orhun commented Jun 17, 2023

The base branch requires all commits to be signed. Learn more about signing commits.

Uh-oh!

@joshka joshka force-pushed the add-featwrapping-ci branch from 759ae6a to 34cde6f Compare June 19, 2023 08:18
@joshka joshka added this pull request to the merge queue Jun 19, 2023
Merged via the queue into ratatui:main with commit e869869 Jun 19, 2023
@joshka joshka added the Type: Maintenance Updates to dependencies / CI / lints / etc. label Jun 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Type: Maintenance Updates to dependencies / CI / lints / etc.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants