From 7ea8f8225f4e511bcbe879972eb4223521b2f8d7 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 23 Jun 2020 20:10:02 -0400
Subject: [ci] Add coq-community/coq-performance-tests

It's tested on the bench, so might as well test it on the CI.  Hopefully
it's not too memory-heavy.  (It should only take a couple of minutes,
time-wise.)
---
 Makefile.ci | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 9231fa6fed..07f06caa3a 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -20,6 +20,7 @@ CI_TARGETS= \
     ci-coquelicot \
     ci-corn \
     ci-cross_crypto \
+    ci-coq_performance_tests \
     ci-coq_tools \
     ci-coqprime \
     ci-elpi \
-- 
cgit v1.2.3