diff options
author | 2018-12-13 16:33:02 -0800 | |
---|---|---|
committer | 2018-12-13 16:40:47 -0800 | |
commit | 0f0822d53f37ea9da8bf838e5b3c62b05afe2f10 (patch) | |
tree | cf31a7b5d99db1f537760beeb0fd488265e13d03 /tools/profiling/microbenchmarks | |
parent | 3c3436d2b4530580c2b95d897a3614fb1d430518 (diff) |
WIP: Utilize the GitHub Check Feature
Diffstat (limited to 'tools/profiling/microbenchmarks')
-rwxr-xr-x | tools/profiling/microbenchmarks/bm_diff/bm_main.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/profiling/microbenchmarks/bm_diff/bm_main.py b/tools/profiling/microbenchmarks/bm_diff/bm_main.py index 96c63ba060..e5061b24f5 100755 --- a/tools/profiling/microbenchmarks/bm_diff/bm_main.py +++ b/tools/profiling/microbenchmarks/bm_diff/bm_main.py @@ -30,7 +30,7 @@ import subprocess sys.path.append( os.path.join( os.path.dirname(sys.argv[0]), '..', '..', 'run_tests', 'python_utils')) -import comment_on_pr +import check_on_pr sys.path.append( os.path.join( @@ -152,7 +152,7 @@ def main(args): if note: text = note + '\n\n' + text print('%s' % text) - comment_on_pr.comment_on_pr('```\n%s\n```' % text) + check_on_pr.check_on_pr('Benchmark', '```\n%s\n```' % text) if __name__ == '__main__': |