Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, haskell-actions/setup@v2, actions/cache/restore@v3, actions/upload-artifact@v2, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

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/

The import of ‘What4.InterpretedFloatingPoint’ is redundant

Defined but not used: ‘symbolicIndices’

Defined but not used: data constructor ‘ArrayMapView’

Defined but not used: ‘viewArrayMap’

The import of ‘forM_’ from module ‘Control.Monad’ is redundant

The import of ‘System.IO’ is redundant

The qualified import of ‘What4.Solver.CVC5’ is redundant

Defined but not used: ‘symbolicIndices’

Defined but not used: data constructor ‘ArrayMapView’

Defined but not used: ‘viewArrayMap’

The import of ‘forM_’ from module ‘Control.Monad’ is redundant

Defined but not used: ‘symbolicIndices’

Defined but not used: data constructor ‘ArrayMapView’

Defined but not used: ‘viewArrayMap’

The import of ‘forM_’ from module ‘Control.Monad’ is redundant

The import of ‘System.IO’ is redundant

The qualified import of ‘What4.Solver.CVC5’ is redundant

The import of ‘System.IO’ is redundant

The qualified import of ‘What4.Solver.CVC5’ is redundant

The import of ‘What4.InterpretedFloatingPoint’ is redundant

Defined but not used: ‘getSameCrucibleType’