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

Improve scripts for real this time #892

Merged
merged 3 commits into from
Jan 28, 2023
Merged

Improve scripts for real this time #892

merged 3 commits into from
Jan 28, 2023

Conversation

ice1000
Copy link
Member

@ice1000 ice1000 commented Jan 28, 2023

I genuinely apologize for the quick merge.

@ice1000 ice1000 added this to the v0.28 milestone Jan 28, 2023
@ice1000 ice1000 added the build label Jan 28, 2023
@codecov
Copy link

codecov bot commented Jan 28, 2023

Codecov Report

Merging #892 (fc7ebbb) into main (1fa2b91) will not change coverage.
The diff coverage is 100.00%.

@@            Coverage Diff            @@
##               main     #892   +/-   ##
=========================================
  Coverage     82.78%   82.78%           
  Complexity     3326     3326           
=========================================
  Files           281      281           
  Lines         10123    10123           
  Branches       1197     1197           
=========================================
  Hits           8380     8380           
  Misses         1070     1070           
  Partials        673      673           
Impacted Files Coverage Δ
base/src/main/java/org/aya/core/serde/SerDef.java 83.05% <100.00%> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@ice1000
Copy link
Member Author

ice1000 commented Jan 28, 2023

bors r+

@bors
Copy link
Contributor

bors bot commented Jan 28, 2023

Build succeeded:

@bors bors bot merged commit bbec55d into main Jan 28, 2023
@bors bors bot deleted the ci branch January 28, 2023 05:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant