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

Release 0.29 #975

Merged
merged 5 commits into from
May 6, 2023
Merged

Release 0.29 #975

merged 5 commits into from
May 6, 2023

Conversation

ice1000
Copy link
Member

@ice1000 ice1000 commented May 6, 2023

Yay!

@ice1000 ice1000 added this to the v0.29 milestone May 6, 2023
@ice1000 ice1000 added the release label May 6, 2023
@codecov
Copy link

codecov bot commented May 6, 2023

Codecov Report

Merging #975 (df433a3) into main (124794f) will not change coverage.
The diff coverage is 100.00%.

@@            Coverage Diff            @@
##               main     #975   +/-   ##
=========================================
  Coverage     81.96%   81.96%           
+ Complexity     3475     3474    -1     
=========================================
  Files           280      280           
  Lines         10509    10509           
  Branches       1271     1271           
=========================================
  Hits           8614     8614           
  Misses         1179     1179           
  Partials        716      716           
Impacted Files Coverage Δ
base/src/main/java/org/aya/concrete/Expr.java 85.46% <ø> (ø)
...e/src/main/java/org/aya/concrete/stmt/Command.java 80.00% <ø> (ø)
...java/org/aya/pretty/backend/html/Html5Stylist.java 79.24% <ø> (ø)
.../src/main/java/org/aya/core/repr/ShapeMatcher.java 78.46% <100.00%> (ø)
base/src/main/java/org/aya/core/serde/SerDef.java 72.54% <100.00%> (ø)
base/src/main/java/org/aya/core/term/PathTerm.java 94.59% <100.00%> (ø)
...ain/java/org/aya/resolve/visitor/ExprResolver.java 92.05% <100.00%> (ø)
.../java/org/aya/cli/render/vscode/VscColorTheme.java 92.85% <100.00%> (ø)
...rc/main/java/org/aya/pretty/error/PrettyError.java 88.62% <100.00%> (ø)

@ice1000
Copy link
Member Author

ice1000 commented May 6, 2023

bors r+

@bors
Copy link
Contributor

bors bot commented May 6, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit d0992f9 into main May 6, 2023
6 checks passed
@bors bors bot deleted the release branch May 6, 2023 11:59
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.

None yet

1 participant