diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-06-06 21:22:15 +0200 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-06-13 10:33:00 +0200 |
commit | 0fd563c07433db5aad5c5a3f196ea692bb60c04e (patch) | |
tree | 3194b732e6a1f88c3c677bed55e56ed021f6e869 /.gitlab-ci.yml | |
parent | 08e86c0af77e83b8569fe611b9fb74e772d710a8 (diff) |
[travis] extra test ci-bignums (+factorize other scripts)
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a6a27194a..d5351f573 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -241,6 +241,9 @@ validate:32bit: COMPILER: "$COMPILER_32BIT" EXTRA_PACKAGES: "gcc-multilib" +ci-bignums: + <<: *ci-template + ci-bedrock-src: <<: *ci-template |