diff options
| author | Florian Klink <flokli@flokli.de> | 2023-10-17T12·49+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-10-17T19·51+0000 |
| commit | c4ea2053877f3560b349b6f339f78baca4b06290 (patch) | |
| tree | 9d486d59130383f01eb734cca03fa4668713e572 /users/wpcarro/scratch/data_structures_and_algorithms | |
| parent | 1b26bf21e3305232b9bbdc928a063da9be9eaee0 (diff) | |
chore(nix/bufCheck): remove git status check r/6845
buf lint already happens in other individual targets, and as no generation happens in here anymore either, there's no need to check for git status to record changes anymore. Change-Id: Ieb8fc4760a61dd0f0e03f0ec388062dd2303c37a Reviewed-on: https://cl.tvl.fyi/c/depot/+/9789 Tested-by: BuildkiteCI Reviewed-by: Connor Brewster <cbrewster@hey.com>
Diffstat (limited to 'users/wpcarro/scratch/data_structures_and_algorithms')
0 files changed, 0 insertions, 0 deletions