From d7c1b4bc66b5272fc60bc07513fa23fa97c821bd Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 19 Mar 2024 08:05:29 +0000
Subject: [PATCH] [ci] temporary variable in .gitlab-ci.yml to select
 appropriate Frama-CI's branch

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f87a0d20..b9b208d5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -72,6 +72,7 @@ release:
     PLUGIN_FULL_NAME: "Frama-Clang"
     REPO: "frama-clang"
     RELEASE_OPTS: "--assume-yes"
+    DEFAULT: "plugin-release-script"
   script:
     - ./nix/ci.sh
   when: manual
-- 
GitLab