Skip to content

overlay: dependent-sum-template_0_2_0_1 + jailbreak #212

overlay: dependent-sum-template_0_2_0_1 + jailbreak

overlay: dependent-sum-template_0_2_0_1 + jailbreak #212

Triggered via push July 28, 2024 13:51
Status Success
Total duration 21m 35s
Artifacts

ci.yaml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

40 warnings
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
• No explicit implementation for
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
The use of ‘~’ without TypeOperators
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
The use of ‘~’ without TypeOperators
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Noncanonical ‘return’ definition detected
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Noncanonical ‘return’ definition detected
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Data.Semigroup’ is redundant
GHC 9.6.6, Cabal 3.12, OS macos-latest
In the use of ‘iso8601DateFormat’
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Data.Semigroup’ is redundant
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Numeric.Natural’ is redundant
GHC 9.6.6, Cabal 3.12, OS macos-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.6, Cabal 3.12, OS macos-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Data.Semigroup’ is redundant
GHC 9.6.6, Cabal 3.12, OS macos-latest
In the use of ‘iso8601DateFormat’
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Data.Semigroup’ is redundant
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Numeric.Natural’ is redundant
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘tail’
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘tail’
GHC 9.8.2, Cabal 3.12, OS macos-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.8.2, Cabal 3.12, OS macos-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The import of ‘Control.Applicative’ is redundant
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The import of ‘Word’ from module ‘Data.Word’ is redundant
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
In the use of ‘memcpy’
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The import of ‘Control.Applicative’ is redundant
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The import of ‘Word’ from module ‘Data.Word’ is redundant
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
In the use of ‘memcpy’
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
Defined but not used: data constructor ‘Ticket’
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
Pattern bindings containing unlifted types should use
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
Pattern bindings containing unlifted types should use
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
Pattern bindings containing unlifted types should use