Code

Update stack resolvers (2024-11)#114

Code

Merged

msakai merged 5 commits intomastermsakai/toysolver:masterfrom update-stack-lts-202411msakai/toysolver:update-stack-lts-202411Copy head branch name to clipboardNov 9, 2024

+104-58

Commits

Commits on Nov 9, 2024

• add GHC-9.8 to build matrix

  msakai

  committed
  c9d1e3d

• use logic-TPTP-0.6.0.0 and optparse-applicative >=0.18 on GHC-9.6

  msakai

  committed
  01b41f6

• use lts-22.40 for GHC-9.6 builds

  msakai

  committed
  105d11f

• remove old commented-out configuration

  msakai

  committed
  6b00f66

• update stack.yaml to use GHC 9.6

  msakai

  committed
  7c95d5b