From 9bfe15eea957b610c5dee20ecff72dc6ec48cf9b Mon Sep 17 00:00:00 2001
From: Nathalie Furmento <nathalie.furmento@labri.fr>
Date: Mon, 27 May 2024 14:44:08 +0200
Subject: [PATCH] Revert "gitlab pipeline: new check that also checks examples"

This reverts commit d47426ff41dd1503f9c81577d99cc74e24e68c80.
---
 .gitlab-ci.yml                              | 14 ----
 contrib/ci.inria.fr/job-2-check-from-git.sh | 82 ---------------------
 contrib/gitlab/check.sh                     | 18 -----
 3 files changed, 114 deletions(-)
 delete mode 100755 contrib/ci.inria.fr/job-2-check-from-git.sh
 delete mode 100755 contrib/gitlab/check.sh

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8fa68bf64f..4b646e0fd1 100644
--- 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
deleted file mode 100755
index ca3dfccb2b..0000000000
--- a/contrib/ci.inria.fr/job-2-check-from-git.sh
+++ /dev/null
@@ -1,82 +0,0 @@
-#!/bin/bash
-# StarPU --- Runtime system for heterogeneous multicore architectures.
-#
-# Copyright (C) 2013-2024  Université de Bordeaux, CNRS (LaBRI UMR 5800), Inria
-#
-# StarPU is free software; you can redistribute it and/or modify
-# it under the terms of the GNU Lesser General Public License as published by
-# the Free Software Foundation; either version 2.1 of the License, or (at
-# your option) any later version.
-#
-# StarPU is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-#
-# See the GNU Lesser General Public License in COPYING.LGPL for more details.
-#
-
-set -e
-set -x
-
-echo "Running on $(uname -a)"
-
-export LC_ALL=C
-ulimit -c unlimited
-
-export PKG_CONFIG_PATH=/home/ci/usr/local/lib/pkgconfig:$PKG_CONFIG_PATH
-export LD_LIBRARY_PATH=/home/ci/usr/local/lib:$LD_LIBRARY_PATH
-
-if test -f $HOME/starpu_specific_env.sh
-then
-    . $HOME/starpu_specific_env.sh
-fi
-
-export CC=gcc
-export STARPU_MICROBENCHS_DISABLED=1
-export STARPU_TIMEOUT_ENV=3600
-export MPIEXEC_TIMEOUT=3600
-CONFIGURE_OPTIONS="--enable-debug --enable-verbose --enable-mpi-check=maybe --enable-mpi-minimal-tests --disable-build-doc --enable-quick-check"
-
-set +e
-mpiexec -oversubscribe pwd 2>/dev/null
-ret=$?
-set -e
-ARGS=""
-if test "$ret" = "0"
-then
-    ARGS="--with-mpiexec-args=-oversubscribe"
-fi
-
-./autogen.sh
-
-BUILD=./build_$$
-if test -d $BUILD ; then chmod -R 777 $BUILD && rm -rf $BUILD ; fi
-mkdir $BUILD && cd $BUILD
-../configure $CONFIGURE_OPTIONS $ARGS $STARPU_USER_CONFIGURE_OPTIONS
-make -j4
-set +e
-set -o pipefail
-make -k check 2>&1 | tee  ../check_$$
-RET=$?
-make showcheckfailed
-make clean
-grep "^FAIL:" ../check_$$ || true
-
-if test "$RET" != "0"
-then
-    STARPU_USER_CONFIGURE_OPTIONS="--enable-simgrid --disable-cuda --disable-mpi --disable-mpi-check"
-    BUILD=./build_simgrid_$$
-    if test -d $BUILD ; then chmod -R 777 $BUILD && rm -rf $BUILD ; fi
-    mkdir $BUILD && cd $BUILD
-    ../configure $CONFIGURE_OPTIONS $ARGS $STARPU_USER_CONFIGURE_OPTIONS
-    make -j4
-    set +e
-    set -o pipefail
-    make -k check 2>&1 | tee  ../check_$$
-    RET=$?
-    make showcheckfailed
-    make clean
-    grep "^FAIL:" ../check_$$ || true
-fi
-
-exit $RET
diff --git a/contrib/gitlab/check.sh b/contrib/gitlab/check.sh
deleted file mode 100755
index f30d865bff..0000000000
--- a/contrib/gitlab/check.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-# StarPU --- Runtime system for heterogeneous multicore architectures.
-#
-# Copyright (C) 2024-2024   Université de Bordeaux, CNRS (LaBRI UMR 5800), Inria
-#
-# StarPU is free software; you can redistribute it and/or modify
-# it under the terms of the GNU Lesser General Public License as published by
-# the Free Software Foundation; either version 2.1 of the License, or (at
-# your option) any later version.
-#
-# StarPU is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-#
-# See the GNU Lesser General Public License in COPYING.LGPL for more details.
-#
-
-./contrib/ci.inria.fr/job-2-check-from-git.sh