Merge branch 'master' of https://github.com/bitcraze/crazyflie-firmwa…

…re.git
bitcraze · Jan 31, 2019 · d8d92d1 · d8d92d1
2 parents 3c1d0fe + a1d5aac
commit d8d92d1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,3 @@
+{ ->
+    tools.releaseAndUploadArtifactsToGithub()
+}