Revert "Add Jenkinsfile for easy CI"

einrobin · Jun 21, 2019 · 754a196 · 754a196
1 parent 11c8670
commit 754a196
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 34 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
diff --git a/build.gradle b/build.gradle
@@ -211,4 +211,4 @@ task allJavadoc(type: Javadoc) {
     source = exportedProjects.collect { project(it).sourceSets.main.allJava }
     classpath = files(exportedProjects.collect { project(it).sourceSets.main.compileClasspath })
     failOnError = false
-}
+}