move proto to github actions

.circleci/config.yml

@@ -76,13 +76,6 @@ jobs:
           key: go-src-v1-{{ .Revision }}
           paths:
             - ".git"
-  proto:
-    executor: protoc
-    steps:
-      - checkout
-      - run:
-          name: proto check
-          command: make proto-lint && make proto-check-breaking
 
   test-sim-multi-seed-long:
     executor: golang
@@ -166,7 +159,6 @@ workflows:
             tags:
               only:
                 - /^v.*/
-      - proto
       - test-sim-multi-seed-long:
           requires:
             - setup-dependencies

.github/workflows/proto.yml

@@ -0,0 +1,12 @@
+name: Proto check
+on: [pull_request]
+jobs:
+  proto-checks:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@master
+      - uses: docker-practice/actions-setup-docker@master
+      - name: lint
+        run: docker run -v $(shell pwd):/workspace --workdir /workspace bufbuild/buf check lint --error-format=json
+      - name: check-breakage
+        run: docker run -v $(shell pwd):/workspace --workdir /workspace bufbuild/buf --against-input .git#branch=master