From 6c430437ac0aa176966a4930b4e385e3724d7a8d Mon Sep 17 00:00:00 2001
From: Lukasz Czajka
Date: Mon, 12 Nov 2018 15:10:19 +0100
Subject: CoqHammer CI

---
 Makefile.ci | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 8234da0869..a9359188ea 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -29,6 +29,7 @@ CI_TARGETS= \
     ci-flocq \
     ci-formal-topology \
     ci-geocoq \
+    ci-coqhammer \
     ci-hott \
     ci-iris-lambda-rust \
     ci-ltac2 \
-- 
cgit v1.2.3