From 292d3afb04ec2f31456ca88c337c3f66a01fc210 Mon Sep 17 00:00:00 2001
From: Boris Yakobowski <boris.yakobowski@cea.fr>
Date: Wed, 15 Jun 2016 14:37:05 +0200
Subject: [PATCH] Add CfP and Security to continuous integration

---
 src/plugins/e-acsl/.gitlab-ci.yml | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/.gitlab-ci.yml b/src/plugins/e-acsl/.gitlab-ci.yml
index a444867e757..ea239e1cfc8 100644
--- a/src/plugins/e-acsl/.gitlab-ci.yml
+++ b/src/plugins/e-acsl/.gitlab-ci.yml
@@ -3,4 +3,18 @@ Tests:
   - ~oci/oci/bin/bf_client.native run --socket ~oci/data/oci-data/oci.socket --rootfs 1 --frama-c master --E-ACSL $(git rev-parse HEAD) E-ACSL
   tags:
   except:
-  - tags
\ No newline at end of file
+  - tags
+
+context-from-precondition:
+  script:
+  - ~oci/oci/bin/bf_client.native run --socket ~oci/data/oci-data/oci.socket --rootfs 1 --E-ACSL $CI_BUILD_REF --branch $CI_BUILD_REF_NAME context-from-precondition
+  tags:
+  except:
+  - tags
+
+Security:
+  script:
+  - ~oci/oci/bin/bf_client.native run --socket ~oci/data/oci-data/oci.socket --rootfs 1 --E-ACSL $CI_BUILD_REF --branch $CI_BUILD_REF_NAME Security
+  tags:
+  except:
+  - tags
-- 
GitLab