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
---
 Makefile.ci | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index d95ffa53e8..fd41884e5c 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -34,6 +34,7 @@ CI_TARGETS= \
     ci-fiat_crypto_ocaml \
     ci-fiat_parsers \
     ci-flocq \
+    ci-fourcolor \
     ci-geocoq \
     ci-coqhammer \
     ci-hott \
@@ -44,6 +45,7 @@ CI_TARGETS= \
     ci-menhir \
     ci-metacoq \
     ci-mtac2 \
+    ci-oddorder \
     ci-paramcoq \
     ci-perennial \
     ci-quickchick \
@@ -81,6 +83,8 @@ ci-fiat_crypto: ci-coqprime ci-rewriter
 ci-fiat_crypto_ocaml: ci-fiat_crypto
 
 ci-interval: ci-mathcomp ci-flocq ci-coquelicot ci-bignums
+ci-fourcolor: ci-mathcomp
+ci-oddorder: ci-mathcomp
 
 ci-simple_io: ci-ext_lib
 ci-quickchick: ci-ext_lib ci-simple_io
-- 
cgit v1.2.3