Include the branch name in the --version output · GaloisInc/saw-script@e1c8ffd

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

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

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

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/

Provide feedback