Skip to content
commit message

Jit class #313

Sign in to view logs

Jit class

Jit class #313

Triggered via pull request August 27, 2024 03:31
@HoshinoTentedHoshinoTented
synchronize #1134
jit-class
Status Success
Total duration 12s
Artifacts –

commit-check.yaml

on: pull_request
commit-check
3s
commit-check
Fit to window
Zoom out
Zoom in

Annotations

6 errors
PatternTyckTest.test1(): base/src/test/java/org/aya/tyck/PatternTyckTest.java#L26
java.lang.NullPointerException: Cannot invoke "org.aya.syntax.core.term.Param.type()" because "this.param" is null
PatternTyckTest.test2(): base/src/test/java/org/aya/tyck/PatternTyckTest.java#L50
java.lang.NullPointerException: Cannot invoke "org.aya.syntax.core.term.Param.type()" because "this.param" is null
TyckTest.classTyck(): base/src/test/java/org/aya/tyck/TyckTest.java#L151
java.lang.NullPointerException: Cannot invoke "org.aya.syntax.core.term.Param.type()" because "this.param" is null
TyckTest.sort(): base/src/test/java/org/aya/tyck/TyckTest.java#L180
java.lang.NullPointerException: Cannot invoke "org.aya.syntax.core.term.Param.type()" because "this.param" is null
TyckTest.what(): base/src/test/java/org/aya/tyck/TyckTest.java#L167
java.lang.NullPointerException: Cannot invoke "org.aya.syntax.core.term.Param.type()" because "this.param" is null
TyckTest.path1(): base/src/test/java/org/aya/tyck/TyckTest.java#L78
java.lang.NullPointerException: Cannot invoke "org.aya.syntax.core.term.Param.type()" because "this.param" is null