From e95581e18d163af628a969a36704197a404d6879 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 29 Jul 2016 11:27:27 +0200
Subject: [PATCH] [OCI] Let OCI decide which branch of frama-c is the most
 appropriate for tests

---
 src/plugins/e-acsl/.gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/.gitlab-ci.yml b/src/plugins/e-acsl/.gitlab-ci.yml
index ea239e1cfc8..9a5ad8890c1 100644
--- a/src/plugins/e-acsl/.gitlab-ci.yml
+++ b/src/plugins/e-acsl/.gitlab-ci.yml
@@ -1,6 +1,6 @@
 Tests:
   script:
-  - ~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
+  - ~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 E-ACSL
   tags:
   except:
   - tags
-- 
GitLab