The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Pattern match(es) are non-exhaustive

‘Cryptol.TypeCheck.Solver.SMT’ is marked as Trustworthy but has been inferred as safe!

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Defined but not used: ‘s’

As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).

Cache save failed.