fix pipeline

starpu-runtime · May 27, 2024 · d1cbeb1 · d1cbeb1
1 parent 737cda3
commit d1cbeb1
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -22,7 +22,7 @@ stages:
   - new-release
   - set-release
   - release
-  - build_manual
+  - build_examples
 
 .main_template:
   rules:
@@ -146,9 +146,8 @@ release:
     - cat release-cli.txt
     - eval "$(cat release-cli.txt)"
 
-
-build_manual:
-  stage: build_manual
+build_examples:
+  stage: build_examples
   tags:
     - starpu
     - debian10
@@ -158,4 +157,5 @@ build_manual:
   rules:
     - if: '$CI_PIPELINE_SOURCE == "push"'
       when: never  # Prevent pipeline run for push event
+    - if: '$RUN_EXAMPLES == "yes"'