Merge commit 'fe3ce96d88108e2bf04fef5144aef6799bff0fd4' as 'third_party/ceres'
Change-Id: If68cedf50907419e1e91f92f7ae9945d7357dc7b
diff --git a/tools/ci/run-tests.sh b/tools/ci/run-tests.sh
index 51bf12e..e0e7bb6 100755
--- a/tools/ci/run-tests.sh
+++ b/tools/ci/run-tests.sh
@@ -2,7 +2,7 @@
set -e
set -x
-TARGETS='//... @com_github_google_glog//...'
+TARGETS='//... @com_github_google_glog//... @com_google_ceres_solver//...'
bazel test -c opt --curses=no --color=no ${TARGETS}
bazel build -c opt --curses=no --color=no ${TARGETS} --cpu=roborio