From 939c9de3534a16bb76da09a8add3f50759cc1d7e Mon Sep 17 00:00:00 2001
From: UebelAndre <github@uebelandre.com>
Date: Sun, 17 Dec 2023 11:00:17 -0800
Subject: [PATCH] Run CI without building runfiles links

---
 .bazelrc | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.bazelrc b/.bazelrc
index 2b404c601c..4881b1c310 100644
--- a/.bazelrc
+++ b/.bazelrc
@@ -5,6 +5,16 @@
 ## https://bazel.build/docs/best-practices#bazelrc-file
 ###############################################################################
 
+# Skip building runfiles links for faster builds.
+build --nobuild_runfile_links
+
+# TODO: Coverage errors are not reported
+coverage --test_output=errors
+
+# Enable more verbose logging
+coverage --test_env=VERBOSE_COVERAGE=1
+coverage --test_env=RUST_BACKTRACE=1
+
 # https://bazel.build/reference/command-line-reference#flag--enable_platform_specific_config
 common --enable_platform_specific_config