From 41dcbbce02d243ee594f15b699ec593ce0c3a4f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 30 Oct 2019 17:11:27 +0100
Subject: [PATCH] Remove E-ACSl from the list of external plugins
---
.gitlab-ci.yml | 9 ---------
1 file changed, 9 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bf23ee36cd2..b78cac9fc68 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -93,15 +93,6 @@ volatile:
tags:
- nix
-E-ACSL:
- stage: tests
- variables:
- OCAML: "4_05"
- script:
- - nix/frama-ci.sh build -A e-acsl.tests
- tags:
- - nix
-
Security:
stage: tests
variables:
--
GitLab