diff options
author | Jonas Gunz <himself@jonasgunz.de> | 2022-02-14 01:00:47 +0100 |
---|---|---|
committer | Jonas Gunz <himself@jonasgunz.de> | 2022-02-14 01:00:47 +0100 |
commit | 6355cea17c4554f7948fc1b72cbe44bd98243fed (patch) | |
tree | 5a5bc271b9f2829fa161d64647677a381c4e49ee | |
parent | 7c7dbb1c7c4f07d565b694d8b154707a7b5bfd4a (diff) | |
download | monitoring_custom-6355cea17c4554f7948fc1b72cbe44bd98243fed.tar.gz |
Jenkinsfile
-rw-r--r-- | Jenkinsfile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..8bfd3f4 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,16 @@ +// vi: ft=groovy +pipeline { + agent any + stages { + stage('Build Plugins') { + steps { + sh 'mkdir -p out/ && INSTDIR=out/ make install' + } + } + } + post { + always { + archiveArtifacts artifacts: 'out/*', fingerprint: false + } + } +} |