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.

Sign up for GitHub

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

Split tools, upgrade to Java 21 #1022

Merged
merged 10 commits into from
Dec 13, 2023

ci: update upstream

1e74abb
Select commit
Loading
Failed to load commit list.
Merged

Split tools, upgrade to Java 21 #1022

ci: update upstream
1e74abb
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Dec 13, 2023 in 1s

60.41% of diff hit (target 81.42%)

View this Pull Request on Codecov

60.41% of diff hit (target 81.42%)

Annotations

Check warning on line 48 in base/src/main/java/org/aya/core/term/FormulaTerm.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/core/term/FormulaTerm.java#L48 

Added line #L48 was not covered by tests

Check warning on line 50 in base/src/main/java/org/aya/core/term/FormulaTerm.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/core/term/FormulaTerm.java#L50 

Added line #L50 was not covered by tests

Check warning on line 158 in base/src/main/java/org/aya/prettier/ConcretePrettier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/ConcretePrettier.java#L158 

Added line #L158 was not covered by tests

Check warning on line 263 in base/src/main/java/org/aya/prettier/ConcretePrettier.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/prettier/ConcretePrettier.java#L263 

Added line #L263 was not covered by tests

Check warning on line 285 in base/src/main/java/org/aya/tyck/unify/TermComparator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/unify/TermComparator.java#L281-L285 

Added lines #L281 - L285 were not covered by tests

Check warning on line 92 in cli-impl/src/main/java/org/aya/cli/library/LibraryCompiler.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

cli-impl/src/main/java/org/aya/cli/library/LibraryCompiler.java#L92 

Added line #L92 was not covered by tests

Check warning on line 98 in cli-impl/src/main/java/org/aya/cli/library/LibraryCompiler.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

cli-impl/src/main/java/org/aya/cli/library/LibraryCompiler.java#L98 

Added line #L98 was not covered by tests

Check warning on line 379 in cli-impl/src/main/java/org/aya/cli/library/LibraryCompiler.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

cli-impl/src/main/java/org/aya/cli/library/LibraryCompiler.java#L379 

Added line #L379 was not covered by tests

Check warning on line 172 in cli-impl/src/main/java/org/aya/cli/literate/SyntaxHighlight.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

cli-impl/src/main/java/org/aya/cli/literate/SyntaxHighlight.java#L172 

Added line #L172 was not covered by tests

Check warning on line 80 in pretty/src/main/java/org/aya/pretty/backend/html/Html5Stylist.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

pretty/src/main/java/org/aya/pretty/backend/html/Html5Stylist.java#L80 

Added line #L80 was not covered by tests
View more details on Codecov