Skip to content

Commit 286de78

Browse files
committed
The integer twaek is needed for the solver
1 parent ab6bbcf commit 286de78

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

.github/workflows/build.yml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -41,11 +41,6 @@ jobs:
4141
apk add --no-cache zlib zlib-dev zlib-static gmp gmp-dev ncurses-static
4242
- uses: actions/checkout@v2
4343

44-
- uses: ./.github/actions/setup-build
45-
with:
46-
ghc: ${{ matrix.ghc }}
47-
os: ${{ runner.os }}
48-
4944
# some alpines come with integer-simple instead of integer-gmp
5045
- name: Force integer-simple
5146
if: matrix.os == 'ubuntu-18.04'
@@ -54,6 +49,11 @@ jobs:
5449
echo -e 'package blaze-textual\n flags: +integer-simple' >> cabal.project.local
5550
fi
5651
52+
- uses: ./.github/actions/setup-build
53+
with:
54+
ghc: ${{ matrix.ghc }}
55+
os: ${{ runner.os }}
56+
5757
- name: (Windows) Platform specifics
5858
if: matrix.os == 'windows-latest'
5959
env:

0 commit comments

Comments
 (0)