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/

Cache save failed.

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

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

Defined but not used: ‘getSameCrucibleType’

Defined but not used: ‘getMapSameCrucibleType’

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

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

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

Defined but not used: ‘getSameCrucibleType’

Defined but not used: ‘getMapSameCrucibleType’