From 0bf48befc4ce8107666cf902b36c3f5c7abc55f1 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 2 May 2018 11:08:26 +0200
Subject: [ci]: add pidetop (fix #7336)

---
 .circleci/config.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index f811f26e1..451b711be 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -209,6 +209,9 @@ jobs:
   mtac2:
     <<: *ci-template
 
+  pidetop:
+    <<: *ci-template
+
   sf:
     <<: *ci-template
     environment:
@@ -266,6 +269,7 @@ workflows:
       - iris-lambda-rust: *req-main
       - ltac2: *req-main
       - math-comp: *req-main
+      - pidetop: *req-main
       - sf: *req-main
       - unimath: *req-main
       - vst: *req-main
-- 
cgit v1.2.3