Skip to content
Snippets Groups Projects
Commit b1698e38 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[ci] can launch compilation of manual even on non-release branches

parent 6c8524d2
No related branches found
No related tags found
No related merge requests found
...@@ -99,8 +99,7 @@ check-opam-release: ...@@ -99,8 +99,7 @@ check-opam-release:
################################################################################ ################################################################################
### PRE-RELEASE ### PRE-RELEASE
make-manual: .build-template: &make_manual
<<: *when_release
stage: prepare-release stage: prepare-release
variables: variables:
OUT: "manual" OUT: "manual"
...@@ -111,6 +110,14 @@ make-manual: ...@@ -111,6 +110,14 @@ make-manual:
script: script:
- ./nix/ci.sh - ./nix/ci.sh
release-manual:
<<: *when_release
<<: *make_manual
force-manual:
<<: *manual_template
<<: *make_manual
check-versions: check-versions:
<<: *when_release <<: *when_release
stage: prepare-release stage: prepare-release
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment