cache experiment - #20

Process completed with exit code 1.

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

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

The import of ‘Proof.Leakage.Model’ is redundant

This binding for ‘d2’ shadows the existing binding

This binding for ‘d1’ shadows the existing binding

Redundant constraint: MemOps m

Orphan class instance: instance Eq Out

The import of ‘Data.Functor.Identity’ is redundant

Defined but not used: ‘mAccess’

The qualified import of ‘Types’ is redundant

• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled