From 48fd8ca4b718d4e18b6f0b45d33e4975d9dd27dd Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 23 Sep 2018 15:05:40 +0200
Subject: [ci] Add plugin-tutorial to CI.

This closes #7618.
---
 Makefile.ci | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index e86504b76d..7fdcb35bc9 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -34,6 +34,7 @@ CI_TARGETS=ci-bedrock2 \
     ci-math-comp \
     ci-mtac2 \
     ci-pidetop \
+    ci-plugin-tutorial \
     ci-quickchick \
     ci-sf \
     ci-simple-io \
-- 
cgit v1.2.3