Changes to X86_64 verification. #3291

Changes to X86_64 verification.

Usage Workflow file

14 warnings

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 following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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/

Defined but not used: ‘ty’

Pattern match(es) are non-exhaustive

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

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

This binding for ‘rp’ shadows the existing binding

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