update jenkinsfile
This commit is contained in:
parent
78ff366e44
commit
d43b0e2738
|
@ -1,5 +1,5 @@
|
|||
pipeline {
|
||||
agent any
|
||||
agent none
|
||||
|
||||
environment {
|
||||
CI = 'true'
|
||||
|
|
Loading…
Reference in New Issue