[fix] disable build benchmark in CI.

This commit is contained in:
Yamada Ryo 2024-11-03 23:55:06 +09:00
parent a3adb634bd
commit fe2b01ceea
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
2 changed files with 5 additions and 3 deletions

View File

@ -38,8 +38,8 @@ jobs:
- name: Install dependencies
run: |
cabal update
cabal build --only-dependencies --enable-tests --enable-benchmarks all
cabal build --only-dependencies --enable-tests all
- name: Build
run: cabal build --enable-tests --enable-benchmarks all
run: cabal build --enable-tests all
- name: Run tests
run: cabal test all

View File

@ -283,9 +283,11 @@ benchmark heftia-bench
mtl >= 2.2 && < 2.4,
logict >= 0.7.0.3 && < 0.9,
tasty-bench >= 0.3 && < 0.5,
eff,
mpeff,
if impl(ghc >= 9.6 && < 9.10)
build-depends: eff
default-extensions:
PackageImports