Revert "gitlab pipeline: new check that also checks examples"

This reverts commit d47426ff41dd1503f9c81577d99cc74e24e68c80.
starpu-runtime · May 27, 2024 · 9bfe15e · 9bfe15e
1 parent f335749
commit 9bfe15e
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 114 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -22,7 +22,6 @@ stages:
   - new-release
   - set-release
   - release
-  - build_manual
 
 .main_template:
   rules:
@@ -146,16 +145,3 @@ release:
     - cat release-cli.txt
     - eval "$(cat release-cli.txt)"
 
-
-build_manual:
-  stage: build_manual
-  tags:
-    - starpu
-    - debian10
-  script:
-    - ./contrib/gitlab/check.sh
-  timeout: 3h
-  rules:
-    - if: '$CI_PIPELINE_SOURCE == "push"'
-      when: never  # Prevent pipeline run for push event
-
diff --git a/contrib/ci.inria.fr/job-2-check-from-git.sh b/contrib/ci.inria.fr/job-2-check-from-git.sh
diff --git a/contrib/gitlab/check.sh b/contrib/gitlab/check.sh