Merge pull request #19 from msakai/update-ci-202504

Update CI configurations (2025-04)

Author: msakai

.github/workflows/build.yaml

@@ -38,12 +38,12 @@ jobs:
  - ghc: '9.6.6'
  resolver: 'lts-22.43'
  coveralls: true
- flags: '--coverage'
- - ghc: '9.8.4'
- resolver: 'lts-23.9'
  flags: ''
+ - ghc: '9.8.4'
+ resolver: 'lts-23.17'
+ flags: '--coverage'
  - ghc: '9.10.1'
- resolver: 'nightly-2025-02-20'
+ resolver: 'nightly-2025-04-03'
  flags: ''
  steps:
  - uses: actions/checkout@v4

stack.yaml

@@ -15,7 +15,7 @@
 # resolver:
 # name: custom-snapshot
 # location: "./custom-snapshot.yaml"
-resolver: lts-22.13
+resolver: lts-23.17
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.