From 597ccaa3d6133e6e2ab05a2eaf27d2b88e62bde3 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 9 Jun 2022 14:06:14 +0200
Subject: [PATCH] [ci] format

---
 .gitlab-ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d0f7226d7ec..f4fa9ff2b66 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,8 +18,6 @@ default:
 variables:
   DEFAULT: "feature/bobot/jbuilder"
   OCAML: "4_12"
-#     CURRENT: $CI_COMMIT_REF_NAME
-#     FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
 
 ################################################################################
 ### BUILD
-- 
GitLab