Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, haskell/actions/setup@v1, actions/cache/restore@v3, 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, 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/

As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).

The import of ‘Copilot.Compile.C99’ is redundant

The import of ‘Copilot.Verifier’ is redundant

• Defaulting the following constraints to type ‘Integer’

The qualified import of ‘Prelude’ is redundant

The import of ‘Data.Foldable’ is redundant

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘vx’ shadows the existing binding

The qualified import of ‘Copilot.Theorem.What4’ is redundant

The qualified import of ‘Prelude’ is redundant

The import of ‘Data.Foldable’ is redundant

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘vx’ shadows the existing binding

This binding for ‘vy’ shadows the existing binding

This binding for ‘s’ shadows the existing binding

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, haskell/actions/setup@v1, actions/cache/restore@v3, 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, 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/

As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).

The import of ‘Copilot.Compile.C99’ is redundant

The import of ‘Copilot.Verifier’ is redundant

• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints

The qualified import of ‘Prelude’ is redundant

The import of ‘Data.Foldable’ is redundant

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘vx’ shadows the existing binding

The qualified import of ‘Copilot.Theorem.What4’ is redundant

The qualified import of ‘Prelude’ is redundant

The import of ‘Data.Foldable’ is redundant

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘vx’ shadows the existing binding

This binding for ‘vy’ shadows the existing binding

This binding for ‘s’ shadows the existing binding

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, haskell/actions/setup@v1, actions/cache/restore@v3, 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, 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 import of ‘Copilot.Compile.C99’ is redundant

The import of ‘Copilot.Verifier’ is redundant

• Defaulting the following constraints to type ‘Integer’

The qualified import of ‘Prelude’ is redundant

The import of ‘Data.Foldable’ is redundant

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘vx’ shadows the existing binding

The qualified import of ‘Copilot.Theorem.What4’ is redundant

The qualified import of ‘Prelude’ is redundant

The import of ‘Data.Foldable’ is redundant

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘s’ shadows the existing binding

This binding for ‘v’ shadows the existing binding

This binding for ‘vx’ shadows the existing binding

This binding for ‘vy’ shadows the existing binding

This binding for ‘s’ shadows the existing binding