Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Merge pull request #36 from alt-romes/wip/romes/planets #100

Merge pull request #36 from alt-romes/wip/romes/planets

Merge pull request #36 from alt-romes/wip/romes/planets #100

Triggered via push December 21, 2025 12:11
Status Success
Total duration 31m 56s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Build
The import of ‘Data.Monoid’ is redundant
Build
In the use of ‘tail’
Build
In the use of ‘head’
Build
‘Text.EditDistance.SquareSTUArray’ is marked as Trustworthy but has been inferred as safe!
Build
Pattern match has inaccessible right hand side
Build
Pattern match has inaccessible right hand side
Build
The import of ‘Data.List’ is redundant
Build
In the use of ‘tail’
Build
In the use of ‘hGetLine’ (imported from Data.ByteString):
Build
In the use of ‘hGetLine’ (imported from Data.ByteString):