re-enable Jenkins build

jenkinsci · Jul 24, 2020 · 2369cb6 · 2369cb6
1 parent f58e63f
commit 2369cb6
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1 +1,4 @@
-//buildPlugin()
+buildPlugin(
+    platform: ['windows']
+    timeout: 10
+)