Fix the RTD configuration #1078
Annotations
21 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build
• No explicit associated type or default declaration for ‘ServerT’
|
|
Build
• No explicit implementation for
|
|
Build
• No explicit associated type or default declaration for ‘ServerT’
|
|
Build
• No explicit implementation for
|
|
Build
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
Build
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
Build
In the use of record field of Request ‘requestBody’
|
|
Build
Pattern match(es) are non-exhaustive
|
|
Build
Orphan family instance:
|
|
Build
The import of ‘Network.Wai’ is redundant
|
|
Run doctests
The import of ‘Generic, Rep’
|
|
Run doctests
Noncanonical ‘(<>) = mappend’ definition detected
|
|
Run doctests
Noncanonical ‘mappend’ definition detected
|
|
Run doctests
Noncanonical ‘(<>) = mappend’ definition detected
|
|
Run doctests
Noncanonical ‘mappend’ definition detected
|
|
Run doctests
No variables bound in the record wildcard match are used
|
|
Run doctests
No variables bound in the record wildcard match are used
|
|
Run doctests
• No explicit associated type or default declaration for ‘ServerT’
|
|
Run doctests
• No explicit implementation for
|
|
Run doctests
• No explicit associated type or default declaration for ‘ServerT’
|
Loading