diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 774cbd3691..a2ee91c177 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,6 +14,13 @@ jobs: run: pip install --user yamllint - name: Run yamllint run: ~/.local/bin/yamllint -c .yamllint.yml . + checkproto: + name: check proto + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: Run check-proto + run: make check-proto # shellcheck: # name: shellcheck # runs-on: ubuntu-latest