From 8de017f8a4e561a2833b311b1a6e79514e3e510b Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Wed, 21 Apr 2021 23:20:10 +0900
Subject: Add mczify to CI

---
 dev/ci/ci-basic-overlay.sh | 2 ++
 1 file changed, 2 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 0093b5fca2..41ba182a4d 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -48,6 +48,8 @@ project fourcolor "https://github.com/math-comp/fourcolor" "master"
 
 project oddorder "https://github.com/math-comp/odd-order" "master"
 
+project mczify "https://github.com/math-comp/mczify" "master"
+
 ########################################################################
 # UniMath
 ########################################################################
-- 
cgit v1.2.3