CI

macaw-riscv: Add riscvPLTStubInfo #798

Sign in to view logs

Annotations

13 warnings

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

• No explicit implementation for

The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant

Pattern match is redundant

This job succeeded