Fix axiom and expr by windtf · Pull Request #2 · PLSec-VU/symfc

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/

Build Project: test/Spec.hs#L9

The import of ‘Test.Hspec.Expectations’ is redundant

Build Project: src/Pantomime/Passes.hs#L217

Redundant constraint: HasDynFlagsE :> es

Build Project: src/Pantomime/Passes.hs#L10

The import of ‘GHC.Core.Make’ is redundant

Build Project: src/Pantomime/Solve.hs#L35

The import of ‘Var(varType)’ from module ‘GHC.Plugins’ is redundant