diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-02-23 19:53:07 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2022-03-02 09:00:44 -0500 |
| commit | e220ab5abfa3a1601d247a860d34820dfe68ce88 (patch) | |
| tree | 55f8f31feed7abf81331af3d583b008a197ace98 /.gitlab-ci.yml | |
| parent | 29095185777f5ef42d9f09bbd377dcf029d2147f (diff) | |
| download | haskell-e220ab5abfa3a1601d247a860d34820dfe68ce88.tar.gz | |
gitlab-ci: Use integer-simple in alpine release job
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8f16657b65..1b4d78b7c3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -984,6 +984,7 @@ release-x86_64-linux-alpine-integer-simple: - .release variables: BIGNUM_BACKEND: native + HADRIAN_ARGS: "--docs=no-sphinx --integer-simple" BUILD_FLAVOUR: "static" release-x86_64-linux-alpine-integer-gmp: |