Browse Source

Hello World

master
teajay 5 years ago
parent
commit
8842ebfb4d
1 changed files with 1 additions and 1 deletions
  1. 2
      Pipeline/Jenkinsfile

2
Pipeline/Jenkinsfile

@ -20,7 +20,7 @@ pipeline {
dir("${DIR_SCRIPTS}"){
git "${REPO_SCRIPTS}"
}
sh "rm -r gluon"
sh "git clone https://github.com/freifunk-gluon/gluon.git gluon -b ${VERSION}"

Loading…
Cancel
Save