1
0
Fork 0

removed "ninja check" to speed up builds

This commit is contained in:
Christian Kühnel 2019-11-12 16:31:11 +01:00
parent 1151a91dc9
commit ba32421384
2 changed files with 0 additions and 10 deletions

View file

@ -60,11 +60,6 @@ pipeline {
sh "${SCRIPT_DIR}/run_ninja.sh all"
}
}
stage('ninja check') {
steps {
sh "${SCRIPT_DIR}/run_ninja.sh check"
}
}
stage('ninja check-all') {
steps {
sh "${SCRIPT_DIR}/run_ninja.sh check-all"

View file

@ -45,11 +45,6 @@ pipeline {
sh "${SCRIPT_DIR}/run_ninja.sh all"
}
}
stage('ninja check') {
steps {
sh "${SCRIPT_DIR}/run_ninja.sh check"
}
}
stage('ninja check-all') {
steps {
sh "${SCRIPT_DIR}/run_ninja.sh check-all"