From 66370041661beb850c20d53d43111674a32d84b2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 24 Nov 2020 16:47:25 +0100
Subject: [ci] add job for interval

---
 .gitlab-ci.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6b58676af0..32299d49d6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -792,6 +792,22 @@ library:ci-flocq:
 library:ci-menhir:
   extends: .ci-template-flambda
 
+library:ci-interval:
+  extends: .ci-template-flambda
+  stage: stage-3
+  needs:
+  - build:edge+flambda
+  - library:ci-coquelicot
+  - library:ci-flocq
+  - library:ci-mathcomp
+  - plugin:ci-bignums
+  dependencies:
+  - build:edge+flambda
+  - library:ci-coquelicot
+  - library:ci-flocq
+  - library:ci-mathcomp
+  - plugin:ci-bignums
+
 library:ci-corn:
   extends: .ci-template-flambda
   stage: stage-4
-- 
cgit v1.2.3


From fdf2f92ed5e2e838ffb11183c00f724e4e7c3a51 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 24 Nov 2020 19:31:56 +0100
Subject: [ci] separate oddorder and fourcolor from mathcomp

In this way interval does not have to wait too much
---
 .gitlab-ci.yml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 32299d49d6..9fb0fc581c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -808,6 +808,26 @@ library:ci-interval:
   - library:ci-mathcomp
   - plugin:ci-bignums
 
+library:ci-oddorder:
+  extends: .ci-template-flambda
+  stage: stage-3
+  needs:
+  - build:edge+flambda
+  - library:ci-mathcomp
+  dependencies:
+  - build:edge+flambda
+  - library:ci-mathcomp
+
+library:ci-fourcolor:
+  extends: .ci-template-flambda
+  stage: stage-3
+  needs:
+  - build:edge+flambda
+  - library:ci-mathcomp
+  dependencies:
+  - build:edge+flambda
+  - library:ci-mathcomp
+
 library:ci-corn:
   extends: .ci-template-flambda
   stage: stage-4
-- 
cgit v1.2.3


From 0c49f8c4c03659126e7976390fc6ec876fd6c1ce Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 25 Nov 2020 15:44:55 +0100
Subject: [ci] coquelicot, depend on ssr proper

---
 .gitlab-ci.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9fb0fc581c..a37641fba9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -738,7 +738,14 @@ library:ci-coqtail:
   extends: .ci-template
 
 library:ci-coquelicot:
-  extends: .ci-template
+  stage: stage-3
+  extends: .ci-template-flambda
+  needs:
+  - build:edge+flambda
+  - library:ci-mathcomp
+  dependencies:
+  - build:edge+flambda
+  - library:ci-mathcomp
 
 library:ci-cross_crypto:
   extends: .ci-template
@@ -794,7 +801,7 @@ library:ci-menhir:
 
 library:ci-interval:
   extends: .ci-template-flambda
-  stage: stage-3
+  stage: stage-4
   needs:
   - build:edge+flambda
   - library:ci-coquelicot
-- 
cgit v1.2.3