Skip to content
build

update CI definition #68

Sign in to view logs

update CI definition

update CI definition #68

Triggered via push November 2, 2024 21:43
@lemasterolemastero
pushed 2877d52
scala3-support
Status Success
Total duration 3m 30s
Artifacts –

haskell.yml

on: push
agda2scala
3m 21s
agda2scala
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
agda2scala: src/Agda/Compiler/Scala/PrintScala3.hs#L35
Pattern match is redundant
agda2scala: src/Agda/Compiler/Scala/PrintScala2.hs#L35
Pattern match is redundant
agda2scala: src/Agda/Compiler/Scala/AgdaToScalaExpr.hs#L74
In the use of ‘head’
agda2scala: src/Agda/Compiler/Scala/AgdaToScalaExpr.hs#L110
Pattern match is redundant