Mergify and actions upgrades (backport #10260) #10957

Annotations

11 warnings

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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):

‘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