Implement :case-tree in repl
#923
ice1000gradle-check.yaml
on: pull_request
check-aya-version
/
extract-version
2s
gradle-check
43s
Annotations
2 errors and 2 warnings
|
PrettierTest.clauses():
base/src/test/java/org/aya/syntax/core/PrettierTest.java#L41
org.opentest4j.AssertionFailedError: expected: <def swap (a : Nat) : Nat => match a {
| 0 => 1
| S _ => 0
}> but was: <def swap Nat : Nat => match a {
| 0 => 1
| S _ => 0
}>
|
|
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.
|