From 80b2a82d25fc9117270b9a052e4071d87eb6755f Mon Sep 17 00:00:00 2001
From: Anton Trunov <anton.a.trunov@gmail.com>
Date: Fri, 20 Apr 2018 18:28:34 +0200
Subject: CI: add fcsl-pcm

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 55b4da719..fe376431e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -85,6 +85,9 @@ matrix:
     - if: NOT (type = pull_request)
       env:
       - TEST_TARGET="ci-geocoq"
+    - if: NOT (type = pull_request)
+      env:
+      - TEST_TARGET="ci-fcsl-pcm"
     - if: NOT (type = pull_request)
       env:
       - TEST_TARGET="ci-fiat-crypto"
-- 
cgit v1.2.3