Remove bazel from repo

.github/workflows/ci.yml

@@ -177,27 +177,6 @@ jobs:
           pip install -r rtd_docs/requirements.txt
       - name: Build docs
         run: dev_tools/docs/build-rtd-docs.sh
-  build_protos:
-    name: Build protos
-    runs-on: ubuntu-20.04
-    steps:
-      - uses: actions/checkout@v2
-        with:
-          fetch-depth: 0
-      - uses: actions/setup-python@v1
-        with:
-          python-version: '3.8'
-          architecture: 'x64'
-      - name: Install requirements
-        run: |
-          pip install -r dev_tools/requirements/deps/protos.txt
-          sudo apt install curl gnupg
-          curl -fsSL https://bazel.build/bazel-release.pub.gpg | gpg --dearmor > bazel.gpg
-          sudo mv bazel.gpg /etc/apt/trusted.gpg.d/
-          echo "deb [arch=amd64] https://storage.googleapis.com/bazel-apt stable jdk1.8" | sudo tee /etc/apt/sources.list.d/bazel.list
-          sudo apt update && sudo apt install bazel
-      - name: Build protos
-        run: check/build-changed-protos
   coverage:
     name: Coverage check
     runs-on: ubuntu-20.04