Pretty print JIT-compiled telescope #912
HoshinoTentedgradle-check.yaml
on: pull_request
check-aya-version
/
extract-version
3s
gradle-check
1m 20s
Annotations
2 errors and 2 warnings
|
TestRunner.negative():
cli-impl/src/test/java/org/aya/test/TestRunner.java#L59
org.opentest4j.AssertionFailedError: diff --git a/cli-impl/src/test/resources/negative/PatCohError.txt b/cli-impl/src/test/resources/negative/PatCohError.txt
index 5de67a7..9ce9df5 100644
--- a/cli-impl/src/test/resources/negative/PatCohError.txt
+++ b/cli-impl/src/test/resources/negative/PatCohError.txt
@@ -9,7 +9,7 @@ In file $FILE:10:0 ->
│ ╰─────────────────╯
Error: I'm unsure if there should be a case for constructor
- | suc m ⇒ fsuc (_ : Fin+1 ^0)
+ | suc m ⇒ fsuc (_ : Fin+1 m)
because I got stuck on the index unification of type
Fin+1 m
==> expected: <true> but was: <false>
|
|
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.
|