chore: update gitattributes (#8860)

* chore: update gitattributes
* chore: add build info source
This commit is contained in:
Michael Yang
2025-02-05 16:37:18 -08:00
committed by GitHub
parent 451c1596af
commit 5b446cc815
6 changed files with 15 additions and 80 deletions

View File

@@ -163,5 +163,5 @@ jobs:
- uses: actions/checkout@v4
- name: Verify patches apply cleanly and do not change files
run: |
make -f Makefile.sync clean checkout sync
make -f Makefile.sync clean sync
git diff --compact-summary --exit-code