From 16fc1dc48db795630999e732946350fd5449569b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 5 Dec 2018 08:42:02 +0100
Subject: [ci] Add four color theorem proof to CI

---
 dev/ci/ci-basic-overlay.sh | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dev/ci/ci-basic-overlay.sh')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 688472836e..9727d42a90 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -13,6 +13,10 @@
 : "${mathcomp_CI_GITURL:=https://github.com/math-comp/math-comp}"
 : "${mathcomp_CI_ARCHIVEURL:=${mathcomp_CI_GITURL}/archive}"
 
+: "${fourcolor_CI_REF:=master}"
+: "${fourcolor_CI_GITURL:=https://github.com/math-comp/fourcolor}"
+: "${fourcolor_CI_ARCHIVEURL:=${fourcolor_CI_GITURL}/archive}"
+
 : "${oddorder_CI_REF:=master}"
 : "${oddorder_CI_GITURL:=https://github.com/math-comp/odd-order}"
 : "${oddorder_CI_ARCHIVEURL:=${oddorder_CI_GITURL}/archive}"
-- 
cgit v1.2.3