Skip to content

Commit

Permalink
Add the case_conflicts to the general content_check workflow.
Browse files Browse the repository at this point in the history
This should ensure human edits to files do not result in filenames that
differ only in the case of the filename.
  • Loading branch information
andynu committed Dec 19, 2022
1 parent 75822c1 commit fcde47b
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .github/workflows/check_content.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,3 +42,8 @@ jobs:
run: |
cd .github/scripts
./run_markdownlint.sh
- name: Check that there are no files whose filename differs only by capitalization.
run: |
cd .github/scripts
python3 ./case_conflicts.py

0 comments on commit fcde47b

Please sign in to comment.