Do not explicitly set encoding in build #352
ice1000gradle-check.yaml
on: pull_request
check-aya-version
/
extract-version
3s
gradle-check
1m 15s
Annotations
2 errors and 1 warning
|
TestRunner.negative():
cli-impl/src/test/java/org/aya/test/TestRunner.java#L47
org.opentest4j.AssertionFailedError: tmp.aya ==> expected: <Trivial:
In file /home/runner/work/aya-dev/aya-dev/cli-impl/src/test/resources/tmp.aya:1:0 ->
1 │ def
│ ╰─╯
Error: Expect a name
1 error(s), 0 warning(s).
What are you doing?
Modifier:
In file /home/runner/work/aya-dev/aya-dev/cli-impl/src/test/resources/tmp.aya:1:0 ->
1 │ overlap inductive E
│ ╰─────╯
Error: The modifier overlap is not suitable here.
1 error(s), 0 warning(s).
What are you doing?
IgnoredModifier:
In file /home/runner/work/aya-dev/aya-dev/cli-impl/src/test/resources/tmp.aya:1:0 ->
1 │ inline def id {A : Type} A : A
│ ╰────╯
2 │ | a => a
Warning: Ignoring inline
That looks right!
OverlapOnExpr:
In file /home/runner/work/aya-dev/aya-dev/cli-impl/src/test/resources/tmp.aya:1:0 ->
1 │ overlap def id {A : Type} (a : A) => a
│ ╰─────╯
Warning: The modifier overlap is redundant, ignored.
That looks right!
> but was: <Trivial:
In file /home/runner/work/aya-dev/aya-dev/cli-impl/src/test/resources/tmp.aya:1:0 ->
1 │ def
│ ╰─╯
Error: Expect a name
1 error(s), 0 warning(s).
Let's learn from that.
Modifier:
In file /home/runner/work/aya-dev/aya-dev/cli-impl/src/test/resources/tmp.aya:1:0 ->
1 │ overlap inductive E
│ ╰─────╯
Error: The modifier overlap is not suitable here.
1 error(s), 0 warning(s).
Let's learn from that.
IgnoredModifier:
In file /home/runner/work/aya-dev/aya-dev/cli-impl/src/test/resources/tmp.aya:1:0 ->
1 │ inline def id {A : Type} A : A
│ ╰────╯
2 │ | a => a
Warning: Ignoring inline
That looks right!
OverlapOnExpr:
In file /home/runner/work/aya-dev/aya-dev/cli-impl/src/test/resources/tmp.aya:1:0 ->
1 │ overlap def id {A : Type} (a : A) => a
│ ╰─────╯
Warning: The modifier overlap is redundant, ignored.
That looks right!
>
|
|
gradle-check
Gradle build failed: see console output for details
|
|
gradle-check
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
|