From b1698e38099ace443f989f65f2536dd645e7ede4 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 28 Nov 2024 11:04:15 +0100
Subject: [PATCH] [ci] can launch compilation of manual even on non-release
branches
---
.gitlab-ci.yml | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 49e71fe8..5a8f25c9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -99,8 +99,7 @@ check-opam-release:
################################################################################
### PRE-RELEASE
-make-manual:
- <<: *when_release
+.build-template: &make_manual
stage: prepare-release
variables:
OUT: "manual"
@@ -111,6 +110,14 @@ make-manual:
script:
- ./nix/ci.sh
+release-manual:
+ <<: *when_release
+ <<: *make_manual
+
+force-manual:
+ <<: *manual_template
+ <<: *make_manual
+
check-versions:
<<: *when_release
stage: prepare-release
--
GitLab