mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
3c047584a7
(cherry picked from commit 8fd14251c382e00d2283efb483b497e4dd736c8e) GitOrigin-RevId: d7c33d55c30f3bbc45fe5ad8fdecf7a6e2f1e3a8
10 lines
167 B
Plaintext
10 lines
167 B
Plaintext
### Profiles ###
|
|
|
|
# ci — configuration tailored for CI
|
|
|
|
### --- ###
|
|
import common.bazelrc
|
|
|
|
# TeamCity-specific options
|
|
common:teamcity --show_progress_rate_limit=30
|