diff --git a/bin/gen_ci_config b/bin/gen_ci_config index 4872016799b0c1bf0bb8201a0e6d9938d47ffec3..0d38a2a5b03adfbb8498407926df2347952f60d6 100755 --- a/bin/gen_ci_config +++ b/bin/gen_ci_config @@ -59,6 +59,7 @@ do ifile=$((ifile+1)) cat <<EOF ${CI_JOB_PREFIX}${ifile}_${filename_noext}: + stage: benchmarks script: - bash ${script_name} allow_failure: true @@ -73,6 +74,7 @@ do ifile=$((ifile+1)) cat <<EOF ${CI_JOB_PREFIX}${ifile}_${filename_noext}: + stage: benchmarks script: - root -b -q ${script_name} allow_failure: true