Revert "fix pipeline"

This reverts commit 6a8b95f1daec4d3dd612ee3b13eda3ba2f216688.
starpu-runtime · May 27, 2024 · f335749 · f335749
1 parent d1cbeb1
commit f335749
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_examples
+  - build_manual
 
 .main_template:
   rules:
@@ -146,8 +146,9 @@ release:
     - cat release-cli.txt
     - eval "$(cat release-cli.txt)"
 
-build_examples:
-  stage: build_examples
+
+build_manual:
+  stage: build_manual
   tags:
     - starpu
     - debian10
@@ -157,5 +158,4 @@ build_examples:
   rules:
     - if: '$CI_PIPELINE_SOURCE == "push"'
       when: never  # Prevent pipeline run for push event
-    - if: '$RUN_EXAMPLES == "yes"'