From 8260fd30a042f81b2db4464a3007219a2af221ea Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 3 Aug 2023 10:56:30 +0200
Subject: [PATCH] [ci] pathcrawler swallowed linea-cabs
---
.gitlab-ci.yml | 1 -
nix/external-plugins.txt | 1 -
2 files changed, 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 031a9b85969..b15ec7f8927 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -221,7 +221,6 @@ external-plugins:
"context-from-precondition",
"frama-clang",
"genassigns",
- "linea-cabs",
"meta",
"minimal",
"mthread",
diff --git a/nix/external-plugins.txt b/nix/external-plugins.txt
index fb844b7d950..62b9bf97aa0 100644
--- a/nix/external-plugins.txt
+++ b/nix/external-plugins.txt
@@ -2,7 +2,6 @@ acsl-importer git@git.frama-c.com:frama-c/acsl-importer.git
caveat-importer git@git.frama-c.com:frama-c/caveat-importer.git
context-from-precondition git@git.frama-c.com:frama-c/context-from-precondition.git
genassigns git@git.frama-c.com:frama-c/genassigns.git
-linea-cabs git@git.frama-c.com:frama-c/linea-cabs.git
meta git@git.frama-c.com:frama-c/meta.git
mthread git@git.frama-c.com:frama-c/mthread.git
security git@git.frama-c.com:frama-c/security.git
--
GitLab