Merge pull request #1941 from ehsannas/bazel_build
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 22 Oct 2019 04:30:13 +0000 (22:30 -0600)
committerGitHub <noreply@github.com>
Tue, 22 Oct 2019 04:30:13 +0000 (22:30 -0600)
Add Bazel build files and bots for them


Trivial merge