diff options
Diffstat (limited to 'nix/bufCheck')
| -rw-r--r-- | nix/bufCheck/default.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/nix/bufCheck/default.nix b/nix/bufCheck/default.nix index f247e6839eee..90c0ca3cb6a2 100644 --- a/nix/bufCheck/default.nix +++ b/nix/bufCheck/default.nix @@ -6,8 +6,6 @@ pkgs.writeShellScriptBin "ci-buf-check" '' export PATH="$PATH:${pkgs.lib.makeBinPath [ pkgs.buf pkgs.protoc-gen-go pkgs.protoc-gen-go-grpc ]}" (cd $(git rev-parse --show-toplevel) && buf lint .) - # Run buf generate, and bail out if generated files are changed. - (cd $(git rev-parse --show-toplevel) && buf generate --path tvix/store/protos) # Check if any files have changed if [[ -n "$(git status --porcelain -unormal)" ]]; then echo "-----------------------------" |