diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1b4d78b7c3fcd39dbc7ac5b0d8c6ee9213efde8f..b99942c5dbde84e7800aff451620a4d5a2b28d36 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -984,7 +984,7 @@ release-x86_64-linux-alpine-integer-simple: - .release variables: BIGNUM_BACKEND: native - HADRIAN_ARGS: "--docs=no-sphinx --integer-simple" + HADRIAN_ARGS: "--docs=no-sphinx" BUILD_FLAVOUR: "static" release-x86_64-linux-alpine-integer-gmp: