Added Jenkins file for release builds

bitcraze · Jan 23, 2019 · 4e23dc8 · 4e23dc8
1 parent 9911329
commit 4e23dc8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,3 @@
+{ ->
+    tools.releaseAndUploadArtifactsToGithub()
+}