From 6298eba97c81b42a7f4024e2c87da8e9bc12b2b2 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 27 Jan 2020 23:49:38 -0500
Subject: Add reduction-effects to the CI

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

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 8315c16c64..4fc0e69748 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -38,6 +38,7 @@ CI_TARGETS= \
     ci-paramcoq \
     ci-perennial \
     ci-quickchick \
+    ci-reduction_effects \
     ci-relation_algebra \
     ci-rewriter \
     ci-sf \
-- 
cgit v1.2.3