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
|
|
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
• Redundant constraint: Functor m
|
|
Run doctests
• No explicit associated type or default declaration for ‘ServerT’
|
|
Run doctests
• No explicit implementation for
|
|
Build
The import of ‘Generic, Rep’
|
|
Build
Noncanonical ‘(<>) = mappend’ definition detected
|
|
Build
Noncanonical ‘mappend’ definition detected
|
|
Build
Noncanonical ‘(<>) = mappend’ definition detected
|
|
Build
Noncanonical ‘mappend’ definition detected
|
|
Build
No variables bound in the record wildcard match are used
|
|
Build
No variables bound in the record wildcard match are used
|
|
Build
• Redundant constraint: Functor m
|
|
Build
• No explicit associated type or default declaration for ‘ServerT’
|
|
Build
• No explicit implementation for
|
Loading