The SAW Documentation Revolution (Part 1) · GaloisInc/saw-script@e22e84b

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Module ‘Data.Text.Prettyprint.Doc’ is deprecated:

Defined but not used: type constructor or class ‘ArgoPanic’

Pattern match is redundant

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Defined but not used: ‘ty’

This binding for ‘sym’ shadows the existing binding

This binding for ‘tp’ shadows the existing binding

This binding for ‘tp'’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

Provide feedback