new style (https://docs.gitlab.com/ee/ci/yaml)
This commit is contained in:
parent
c75ac5fe6c
commit
352a168621
|
@ -11,16 +11,16 @@ stages:
|
||||||
|
|
||||||
|
|
||||||
###################################################################################################
|
###################################################################################################
|
||||||
before_script:
|
default:
|
||||||
- ${LOCAL_HOME}/bin/manage_pool ${CI_JOB_ID} --nonblocking
|
before_script:
|
||||||
- source $DAMASKROOT/env/DAMASK.sh
|
- ${LOCAL_HOME}/bin/manage_pool ${CI_JOB_ID} --nonblocking
|
||||||
- export PATH=${BINDIR}:$PATH
|
- source $DAMASKROOT/env/DAMASK.sh
|
||||||
- cd $DAMASKROOT/PRIVATE/testing
|
- export PATH=${BINDIR}:$PATH
|
||||||
- echo Job start:" $(date)"
|
- cd $DAMASKROOT/PRIVATE/testing
|
||||||
|
- echo Job start:" $(date)"
|
||||||
after_script:
|
after_script:
|
||||||
- ${LOCAL_HOME}/bin/manage_pool ${CI_JOB_ID} --unregister
|
- ${LOCAL_HOME}/bin/manage_pool ${CI_JOB_ID} --unregister
|
||||||
- echo Job end:" $(date)"
|
- echo Job end:" $(date)"
|
||||||
|
|
||||||
|
|
||||||
###################################################################################################
|
###################################################################################################
|
||||||
|
|
Loading…
Reference in New Issue