Merge pull request #217 from GaloisInc/prepare-0.0.13-release #272

Annotations

13 warnings

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/checkout@v2, haskell/actions/setup@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 following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v2, actions/checkout@v2, haskell/actions/setup@v1, actions/cache/restore@v3, actions/cache/save@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The qualified import of ‘Data.HashMap.Strict’ is redundant

The import of ‘Data.List.NonEmpty’ is redundant

The import of ‘Test.QuickCheck.Instances.ByteString’ is redundant

The import of ‘Test.QuickCheck.Instances.Scientific’ is redundant

The import of ‘Test.QuickCheck.Instances.Text’ is redundant