update CI definition #67
Annotations
1 error and 4 warnings
|
|
|
src/Agda/Compiler/Scala/PrintScala3.hs#L35
Pattern match is redundant
|
|
src/Agda/Compiler/Scala/PrintScala2.hs#L35
Pattern match is redundant
|
|
src/Agda/Compiler/Scala/AgdaToScalaExpr.hs#L74
In the use of ‘head’
|
|
src/Agda/Compiler/Scala/AgdaToScalaExpr.hs#L110
Pattern match is redundant
|
The logs for this run have expired and are no longer available.
Loading