Skip to content
commit message

Jit class #312

Sign in to view logs

Jit class

Jit class #312

Triggered via pull request August 8, 2024 05:14
@HoshinoTentedHoshinoTented
synchronize #1134
jit-class
Status Success
Total duration 15s
Artifacts –

commit-check.yaml

on: pull_request
commit-check
6s
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