[fix] Rename build steps in CI.

This commit is contained in:
Yamada Ryo 2024-11-04 01:01:41 +09:00
parent 5ac7def6ba
commit da116b513f
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF

View File

@ -42,11 +42,11 @@ jobs:
cabal update
cabal build --only-dependencies --enable-tests --disable-benchmarks all
- name: Build
- name: Build (ghc != 9.4.1)
if: ${{ matrix.ghc != '9.4.1' }}
run: cabal build --enable-tests --disable-benchmarks all
- name: Build
- name: Build (ghc == 9.4.1)
if: ${{ matrix.ghc == '9.4.1' }}
run: cabal build --enable-tests --disable-benchmarks heftia heftia-effects:heftia-effects heftia-effects:test