Release 0.24

[ice1000]

bors r+

[codecov]

Codecov Report

Merging #718 (b4707f0) into main (ee17be5) will not change coverage.
The diff coverage is 100.00%.

@@            Coverage Diff            @@
##               main     #718   +/-   ##
=========================================
  Coverage     81.52%   81.52%           
  Complexity     3011     3011           
=========================================
  Files           262      262           
  Lines          9578     9578           
  Branches       1193     1193           
=========================================
  Hits           7808     7808           
  Misses         1119     1119           
  Partials        651      651           

Impacted Files	Coverage Δ
base/src/main/java/org/aya/concrete/Expr.java	86.22% <ø> (ø)
.../main/java/org/aya/concrete/desugar/Desugarer.java	78.66% <100.00%> (ø)
...src/main/java/org/aya/cli/parse/AyaGKProducer.java	90.45% <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]

bors r+

[bors]

Build succeeded:

• commit-check
• gradle-check