Merge branch 'dev' into 'master'

edit jenkinsfile

See merge request !2

Jenkinsfile

@@ -16,18 +16,7 @@ pipeline {
 
 	agent any
 	stages {
-		stage('Checkout on tai') {
-			steps {
-                script {
-                    last_stage = env.STAGE_NAME
-                }
-				ws("$WORKSPACE" + '/tai/') {
-					git branch: 'master',
-					credentialsId: 'gitlab_credential',
-					url: 'http://gitlab.baamtu.com/diopbe/tai.git'
-				}
-			}
-		}
+		
 
         stage('test') {
            steps {