diff --git a/.bazelversion b/.bazelversion index f22d756da..a8a188756 100644 --- a/.bazelversion +++ b/.bazelversion @@ -1 +1 @@ -6.5.0 +7.1.2 diff --git a/ci/do_ci.sh b/ci/do_ci.sh index 37f7a68ca..ea738294f 100755 --- a/ci/do_ci.sh +++ b/ci/do_ci.sh @@ -216,6 +216,8 @@ function do_benchmark_with_own_binaries() { --test_env=HEAPPROFILE= \ --test_env=HEAPCHECK= \ --test_output=all \ + --verbose_failures \ + --verbose_explanations \ --compilation_mode=opt \ --cxxopt=-g \ --cxxopt=-ggdb3 \