| commit | c12580cab4115ff59a8f986e4fa2110da231670c | [log] [tgz] |
|---|---|---|
| author | Florian Weikert <fwe@google.com> | Tue Jul 13 17:09:25 2021 +0200 |
| committer | GitHub <noreply@github.com> | Tue Jul 13 17:09:25 2021 +0200 |
| tree | 4732aafb03b2b6b0e1e4e1334a797414e4285f09 | |
| parent | 436723a97abc5d564e1e199dd17eb06d37c966c6 [diff] |
Set BAZELISK_USER_AGENT env variable. (#1191) CI should have its own user agent value in order to distinguish itself from "regular" Bazelisk users in the download statistics. This commit won't have any effect before we deploy Bazelisk v1.10.0 or later to all CI workers.