Revert "have Mergify insist on all-green CI" #11535

Annotations

10 warnings

Module ‘System.OsString.Posix’ is deprecated:

In the use of type constructor or class ‘Option’

In the use of data constructor ‘Option’

In the use of ‘getOption’ (imported from Data.Semigroup):

In the use of ‘hGetLine’ (imported from Data.ByteString):

In the use of ‘hGetLine’ (imported from Data.ByteString):

‘Data.Hashable.Generic.Instances’ is marked as Trustworthy but has been inferred as safe!

The import of ‘Data.Semigroup’ is redundant

Pattern match has inaccessible right hand side

Pattern match has inaccessible right hand side