Typed overrides #1638

Annotations

1 error and 26 warnings

Process completed with exit code 1.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, cachix/install-nix-action@v16, actions-rs/toolchain@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The import of ‘Control.Lens’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.Parameterized.Context’ is redundant

The import of ‘Lang.Crucible.Backend’ is redundant

The import of ‘Lang.Crucible.Backend.Simple’ is redundant

The import of ‘Lang.Crucible.Simulator’ is redundant

The import of ‘Lang.Crucible.Simulator.Profiling’ is redundant

The import of ‘What4.Config’ is redundant

The import of ‘What4.Interface’ is redundant

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/

Defined but not used: ‘ty’