From c79677a99b48f85b8c79215dd35476005eea2e11 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 25 Nov 2020 11:16:28 +0100
Subject: [ci] add job for gappa

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

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 9f08de662f..d549ed1b39 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -35,6 +35,7 @@ CI_TARGETS= \
     ci-fiat_parsers \
     ci-flocq \
     ci-fourcolor \
+    ci-gappa \
     ci-geocoq \
     ci-coqhammer \
     ci-hott \
@@ -94,6 +95,7 @@ ci-metacoq: ci-equations
 ci-vst: ci-flocq
 
 ci-compcert: ci-menhir ci-flocq
+ci-gappa: ci-flocq
 
 # Generic rule, we use make to ease CI integration
 $(CI_TARGETS): ci-%:
-- 
cgit v1.2.3