Better pat tyck #837
ice1000gradle-check.yaml
on: pull_request
check-aya-version
/
extract-version
3s
gradle-check
38s
Annotations
5 errors and 2 warnings
|
PrettierTest.clauses():
base/src/test/java/org/aya/syntax/core/PrettierTest.java#L35
org.opentest4j.AssertionFailedError: expected: <def swap (a : Nat) : Nat => match a {
| 0 => 1
| S _ => 0
}> but was: <def swap (a : Nat) : Nat => match a {
| 0 => 1
| S _5 => 0
}>
|
|
PatternTyckTest.elim0():
base/src/test/java/org/aya/tyck/PatternTyckTest.java#L14
java.util.NoSuchElementException
|
|
TyckTest.sort():
base/src/test/java/org/aya/tyck/TyckTest.java#L180
java.util.NoSuchElementException
|
|
TyckTest.elimResolve():
base/src/test/java/org/aya/tyck/TyckTest.java#L139
java.util.NoSuchElementException
|
|
gradle-check
Gradle build failed: see console output for details
|
|
check-aya-version / extract-version
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
gradle-check
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
|