updated vagrant/Jenkinsfile
This commit is contained in:
parent
dcaca63b13
commit
9675c4b1c7
10
vagrant/Jenkinsfile
vendored
10
vagrant/Jenkinsfile
vendored
@ -1,5 +1,7 @@
|
||||
pipeline {
|
||||
agent any
|
||||
##agent none
|
||||
##agent any
|
||||
agent { label 'vagrant' }
|
||||
|
||||
##environment {
|
||||
## CC = 'gcc'
|
||||
@ -40,4 +42,10 @@ pipeline {
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
post {
|
||||
success {
|
||||
echo "SUCCESS!!!"
|
||||
}
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user