Skip to content
Get-Tested

it typechecks :) #251

Sign in to view logs

it typechecks :)

it typechecks :) #251

Triggered via push February 3, 2025 21:02
@noinianoinia
pushed 381c602
randomized-env
Status Failure
Total duration 7m 14s
Artifacts –

gettested.yml

on: push
Generate matrix from cabal
3s
Generate matrix from cabal
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 20 warnings
9.10.1 on ubuntu-latest
• Expecting one more argument to ‘MinimizationDiagram r plane’
9.10.1 on ubuntu-latest
• Expecting one more argument to ‘MinimizationDiagram r plane’
9.10.1 on ubuntu-latest
• Expecting one more argument to ‘MinimizationDiagram r plane’
9.10.1 on ubuntu-latest
Process completed with exit code 1.
9.10.1 on ubuntu-latest
The import of ‘Control.Lens’ is redundant
9.10.1 on ubuntu-latest
The import of ‘Data.Bifoldable’ is redundant
9.10.1 on ubuntu-latest
The import of ‘Data.Bitraversable’ is redundant
9.10.1 on ubuntu-latest
The qualified import of ‘Data.Foldable’ is redundant
9.10.1 on ubuntu-latest
The import of ‘Data.Foldable1’ is redundant
9.10.1 on ubuntu-latest
The import of ‘Data.Functor.Apply’ is redundant
9.10.1 on ubuntu-latest
The import of ‘Data.Semigroup.Traversable’ is redundant
9.10.1 on ubuntu-latest
The import of ‘HGeometry.Sequence.KV’ is redundant
9.10.1 on ubuntu-latest
The qualified import of ‘Data.Foldable’ is redundant
9.10.1 on ubuntu-latest
The import of ‘HGeometry.Sequence.KV’ is redundant
9.10.1 on ubuntu-latest
The qualified import of ‘Data.List.NonEmpty’ is redundant
9.10.1 on ubuntu-latest
The qualified import of ‘Data.Map.NonEmpty’ is redundant
9.10.1 on ubuntu-latest
The qualified import of ‘Data.List.NonEmpty’ is redundant
9.10.1 on ubuntu-latest
The import of ‘Data.List.NonEmpty’ is redundant
9.10.1 on ubuntu-latest
The qualified import of ‘Data.Map’ is redundant
9.10.1 on ubuntu-latest
The import of ‘HGeometry.Boundary’ is redundant
9.10.1 on ubuntu-latest
The import of ‘HGeometry.Intersection’ is redundant
9.10.1 on ubuntu-latest
The import of ‘HGeometry.HyperPlane.NonVertical’ is redundant
9.10.1 on ubuntu-latest
The import of ‘HGeometry.HyperPlane.NonVertical’ is redundant
9.10.1 on ubuntu-latest
The import of ‘Data.Coerce’ is redundant