fix happy to 1.20.1.1 #107
Triggered via pull request
September 20, 2024 21:56
shayne-fletcher
Status
Success
Total duration
2h 37m 28s
Artifacts
–
Annotations
30 warnings
|
ubuntu
• Redundant constraint: Semigroup a
|
|
ubuntu
The use of ‘~’ without TypeOperators
|
|
ubuntu
The use of ‘~’ without TypeOperators
|
|
ubuntu
The import of ‘Oracles.Flag’ is redundant
|
|
ubuntu
Defined but not used: ‘threads’
|
|
ubuntu
Pattern match(es) are non-exhaustive
|
|
ubuntu
Pattern match(es) are non-exhaustive
|
|
ubuntu
Pattern match(es) are non-exhaustive
|
|
ubuntu
Pattern match(es) are non-exhaustive
|
|
ubuntu
Pattern match(es) are non-exhaustive
|
|
windows
• Redundant constraint: Semigroup a
|
|
windows
The use of ‘~’ without TypeOperators
|
|
windows
The use of ‘~’ without TypeOperators
|
|
windows
The import of ‘Oracles.Flag’ is redundant
|
|
windows
Defined but not used: ‘threads’
|
|
windows
Pattern match(es) are non-exhaustive
|
|
windows
Pattern match(es) are non-exhaustive
|
|
windows
Pattern match(es) are non-exhaustive
|
|
windows
Pattern match(es) are non-exhaustive
|
|
windows
Pattern match(es) are non-exhaustive
|
|
macos
• Redundant constraint: Semigroup a
|
|
macos
The use of ‘~’ without TypeOperators
|
|
macos
The use of ‘~’ without TypeOperators
|
|
macos
The import of ‘Oracles.Flag’ is redundant
|
|
macos
Defined but not used: ‘threads’
|
|
macos
Pattern match(es) are non-exhaustive
|
|
macos
Pattern match(es) are non-exhaustive
|
|
macos
Pattern match(es) are non-exhaustive
|
|
macos
Pattern match(es) are non-exhaustive
|
|
macos
Pattern match(es) are non-exhaustive
|