From 0796a9395b80a7596e629b8992e56a2f4fed554a Mon Sep 17 00:00:00 2001 From: Derrick Anderson Date: Fri, 4 May 2018 01:20:53 -0400 Subject: [PATCH] basic jenkinsfile for pull requests --- builds/pr/Jenkinsfile | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 builds/pr/Jenkinsfile diff --git a/builds/pr/Jenkinsfile b/builds/pr/Jenkinsfile new file mode 100644 index 00000000..e74077e4 --- /dev/null +++ b/builds/pr/Jenkinsfile @@ -0,0 +1,7 @@ +#!/usr/bin/groovy + +@Library('shared-pipelines') _ + +desktop_pr { + +} \ No newline at end of file