diff options
author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2022-08-03 12:08:05 +0200 |
---|---|---|
committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2022-08-18 11:55:24 +0200 |
commit | c003a889813199b83372e9df642456c473a7b10b (patch) | |
tree | bc7aee0b98c05876b7badcae9dd4058e19b75d0c | |
parent | 1b6b88353423c15aee62b8f3d1a081ad67f5a66e (diff) | |
download | jazzer-api-c003a889813199b83372e9df642456c473a7b10b.tar.gz |
ci: Use recommended BuildBuddy settings
-rw-r--r-- | .bazelrc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -41,8 +41,8 @@ test --test_env=JAZZER_REFLECTION_DEBUG # CI tests (not using the toolchain to test OSS-Fuzz & local compatibility) test:ci --test_env=JAZZER_CI=1 build:ci --bes_results_url=https://app.buildbuddy.io/invocation/ -build:ci --bes_backend=grpcs://cloud.buildbuddy.io -build:ci --remote_cache=grpcs://cloud.buildbuddy.io +build:ci --bes_backend=grpcs://remote.buildbuddy.io +build:ci --remote_cache=grpcs://remote.buildbuddy.io build:ci --remote_timeout=3600 # Maven publishing (local only, requires GPG signature) |