Add 'Jenkinsfile'

add Jenkinsfile
This commit is contained in:
Roberto Cirillo 2023-04-17 17:23:31 +02:00
parent f26fc2cd00
commit 0a2706ae58
1 changed files with 13 additions and 0 deletions

13
Jenkinsfile vendored Normal file
View File

@ -0,0 +1,13 @@
pipeline {
agent any
options {
skipDefaultCheckout true
}
stages {
stage('invoke remote clone') {
steps {
build job: 'JanetModels', wait: false
}
}
}
}