[misc] update the build scripts to 1.3.5

2020-02-10 17:10:44 +01:00
parent c2295f40f8
commit 1fc3292966
7 changed files with 46 additions and 36 deletions
--- a/1
+++ b/1
@@ -16,6 +16,7 @@ pipeline {
  }

  stages {
+
    stage('Install') {
      steps {
        withCredentials([usernamePassword(credentialsId: 'GITHUB_INTEGRATION', usernameVariable: 'GH_AUTH_USERNAME', passwordVariable: 'GH_AUTH_PASSWORD')]) {