File tree Expand file tree Collapse file tree 3 files changed +6
-2
lines changed
Expand file tree Collapse file tree 3 files changed +6
-2
lines changed Original file line number Diff line number Diff line change 3939 - name : Commit to the PR branch if any changes
4040 run : |
4141 make format
42+ git ls-files -z | xargs -0 chmod 644
4243 if [[ $(git ls-files -m) ]]; then
4344 git config --global user.name 'actions-bot'
4445 git config --global user.email '[email protected] '
Original file line number Diff line number Diff line change 4040 - name : Formatting check (ruff)
4141 run : make check
4242
43+ - name : Ensure files have 644 permission
44+ run : |
45+ git ls-files -z | xargs -0 chmod 644
46+ if [[ $(git ls-files -m) ]]; then git --no-pager diff HEAD; exit 1; fi
47+
4348 - name : Ensure example scripts have at least one code block separator
4449 run : |
4550 git ls-files 'examples/**/*.py' | xargs grep --files-without-match '# %%' > output.txt
Original file line number Diff line number Diff line change 1313 hooks :
1414 - id : forbid-crlf
1515 - id : remove-crlf
16- - id : chmod
17- args : ['644']
1816
1917# https://pre-commit.ci/#configuration
2018ci :
You can’t perform that action at this time.
0 commit comments