From a1d5aac6f3e6f3691a270c81c5df9521a896c8c5 Mon Sep 17 00:00:00 2001 From: Kristoffer Richardsson Date: Wed, 23 Jan 2019 21:45:09 +0100 Subject: [PATCH] Added Jenkins file for release builds --- Jenkinsfile | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 Jenkinsfile diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000000..2d1c3aadc9 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,3 @@ +{ -> + tools.releaseAndUploadArtifactsToGithub() +}