add Mergify config for high priority PRs #11269
Annotations
10 warnings
|
bootstrap.py
Module ‘System.OsString.Posix’ is deprecated:
|
|
bootstrap.py
In the use of type constructor or class ‘Option’
|
|
bootstrap.py
In the use of data constructor ‘Option’
|
|
bootstrap.py
In the use of ‘getOption’ (imported from Data.Semigroup):
|
|
bootstrap.py
In the use of ‘hGetLine’ (imported from Data.ByteString):
|
|
bootstrap.py
In the use of ‘hGetLine’ (imported from Data.ByteString):
|
|
bootstrap.py
‘Data.Hashable.Generic.Instances’ is marked as Trustworthy but has been inferred as safe!
|
|
bootstrap.py
The import of ‘Data.Semigroup’ is redundant
|
|
bootstrap.py
Pattern match has inaccessible right hand side
|
|
bootstrap.py
Pattern match has inaccessible right hand side
|
Loading