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/

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:

Run .github/ci.sh build: dist-newstyle/build/x86_64-linux/ghc-9.8.2/language-rust-0.2.0.27/build/Language/Rust/Parser/Lexer.hs#L1695

In the use of ‘tail’

In the use of ‘head’

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

Provide feedback