diff --git a/core/BUILD b/core/BUILD index d1cdef2..1390823 100644 --- a/core/BUILD +++ b/core/BUILD @@ -67,6 +67,7 @@ string_flag( "instrumentation", "walltime", ], + visibility = ["//visibility:public"], ) config_setting(