aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2017-06-06 21:22:15 +0200
committerGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2017-06-13 10:33:00 +0200
commit0fd563c07433db5aad5c5a3f196ea692bb60c04e (patch)
tree3194b732e6a1f88c3c677bed55e56ed021f6e869 /.gitlab-ci.yml
parent08e86c0af77e83b8569fe611b9fb74e772d710a8 (diff)
[travis] extra test ci-bignums (+factorize other scripts)
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml3
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