Update 'Jenkinsfile'

removed CI agent
This commit is contained in:
Roberto Cirillo 2023-01-12 16:15:29 +01:00
parent f5d5aa24a3
commit aaec6c1ad4
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -5,7 +5,7 @@
pipeline {
agent { label 'CI'}
agent any
options {
ansiColor('xterm')
}