From 4e57193a0240a2cbadd57d356685c6a3e6e03f3e Mon Sep 17 00:00:00 2001
From: Martin Diehl <mail@martin-diehl.net>
Date: Sat, 13 Nov 2021 22:58:56 +0100
Subject: [PATCH] simplified

use GitLab CI API to remove finished jobs, no user intervention needed
after cancelling
---
 .gitlab-ci.yml | 20 +++-----------------
 1 file changed, 3 insertions(+), 17 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5e95cd23b..3d21f3184 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,19 +8,17 @@ stages:
   - performance
   - deploy
   - update_master
-  - clean
 
 
 ###################################################################################################
 default:
   before_script:
-    - ${LOCAL_HOME}/bin/manage_pool -j ${CI_JOB_ID} -p ${CI_PIPELINE_ID} --nonblocking
+    - ${LOCAL_HOME}/bin/queue ${CI_JOB_ID}
     - source $DAMASKROOT/env/DAMASK.sh
     - export PATH=${TESTROOT}/bin:$PATH
     - cd $DAMASKROOT/PRIVATE/testing
     - echo Job start:" $(date)"
   after_script:
-    - ${LOCAL_HOME}/bin/manage_pool -j ${CI_JOB_ID} -p ${CI_PIPELINE_ID} --unregister
     - echo Job end:" $(date)"
 
 
@@ -59,7 +57,7 @@ variables:
 checkout:
   stage: prepare
   before_script:
-    - ${LOCAL_HOME}/bin/manage_pool -j ${CI_JOB_ID} -p ${CI_PIPELINE_ID} --nonblocking
+    - ${LOCAL_HOME}/bin/queue ${CI_JOB_ID}
     - echo Job start:" $(date)"
   script:
     - mkdir -p ${DAMASKROOT}
@@ -168,7 +166,7 @@ grid_runtime:
     - ./runtime.py --input_dir $DAMASKROOT/examples/grid --output_dir ${REPO_DIR} --tag ${CI_COMMIT_SHA}
     - if [ ${CI_COMMIT_BRANCH} == development ]; then git commit -am ${CI_PIPELINE_ID}_${CI_COMMIT_SHA}; git push; fi
   before_script:
-    - ${LOCAL_HOME}/bin/manage_pool -j ${CI_JOB_ID} -p ${CI_PIPELINE_ID} --blocking
+    - ${LOCAL_HOME}/bin/queue ${CI_JOB_ID} --blocking
     - source $DAMASKROOT/env/DAMASK.sh
     - export PATH=${TESTROOT}/bin:$PATH
     - echo Job start:" $(date)"
@@ -203,15 +201,3 @@ merge_into_master:
     - git push origin development                                                                   # development is unchanged (as master is based on it) but has updated VERSION file
   only:
     - development
-
-
-###################################################################################################
-clean_pool:
-  stage: clean
-  script:
-    - ${LOCAL_HOME}/bin/manage_pool -p ${CI_PIPELINE_ID} --clean
-  when: always
-  before_script:
-    - echo Job start:" $(date)"
-  after_script:
-    - echo Job end:" $(date)"