From e7908df3f70b5f7b5e012ca10d62dfbf15614cdb Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 18 May 2020 21:55:56 -0400
Subject: [ci] Add mit-plv/engine-bench

This is a new development where I'm aggregating a specific set of
benchmarks.  It's intended to be relatively lightweight, taking only a
handful of minutes.  It's probably one of the few developments currently
testing Ltac2.
---
 Makefile.ci | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index af92d476ba..9b7008f765 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -23,6 +23,7 @@ CI_TARGETS= \
     ci-coq_tools \
     ci-coqprime \
     ci-elpi \
+    ci-engine_bench \
     ci-ext_lib \
     ci-equations \
     ci-fcsl_pcm \
-- 
cgit v1.2.3