diff --git a/etc/Jenkinsfile.valgrind b/etc/Jenkinsfile.valgrind new file mode 100644 index 000000000..d23110205 --- /dev/null +++ b/etc/Jenkinsfile.valgrind @@ -0,0 +1,9 @@ +node('java11-agent') { + stage ('Checkout') { + checkout scm + } + + stage ('Build, Test, and Static Analysis') { + recordIssues tool: analysisParser(analysisModelId: 'valgrind', pattern: '**/valgrind.xml') + } +}