Merge pull request #1260 from GaloisInc/1259-remove-unused-monoids · GaloisInc/crucible@2fb1c26

The following actions uses node12 which is deprecated and will be forced to run on node16: cachix/install-nix-action@v16. 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: cachix/install-nix-action@v16. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The import of ‘Data.String’ is redundant

Cache save failed.

In the use of ‘head’

The qualified import of ‘Data.BitVector.Sized’ is redundant

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

In the use of ‘head’

In the use of ‘head’

The qualified import of ‘Data.BitVector.Sized’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used:

Defined but not used:

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

In the use of ‘head’

Defined but not used:

Defined but not used:

Provide feedback