Run FindBugs in CI

linpingchuan · Oct 24, 2017 · 7a37d53 · 7a37d53
1 parent f333a49
commit 7a37d53
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -490,7 +490,9 @@
     run: [
       # Build with ECJ to get warnings
       ["mx", "build", "--jdt", "$JDT", "--warning-as-error"],
-    ] + jt(["lint"]),
+    ] + jt(["lint"]) + [
+      ["mx", "findbugs"]
+    ],
     timelimit: "30:00"
   },