From 31d5f6911cb74040d2e2f7b6b137c2c45eef4ad4 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 8 Mar 2024 16:18:11 +0100
Subject: [PATCH] [ci] prepare release target
---
.gitlab-ci.yml | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7cee2de9..f5fae501 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,6 +3,7 @@
stages:
- tests
+ - release
################################################################################
### DEFAULT JOB PARAMETERS
@@ -44,3 +45,17 @@ tests-manual:
matrix:
- LLVM_VERSION: [ "12", "13", "14", "15" ]
when: manual
+
+################################################################################
+### TESTS
+
+release:
+ stage: release
+ variables:
+ CI_MODE: "release"
+ PLUGIN_FULL_NAME: "Frama-Clang"
+ REPO: "frama-clang"
+ RELEASE_OPTS: "--assume-yes"
+ script:
+ - ./nix/ci.sh
+ when: manual
--
GitLab