Skip to content

Commit

Permalink
github: make it clearer which image contains RIFF metadata
Browse files Browse the repository at this point in the history
... if it exists it would be nice to know in what!
  • Loading branch information
peterbarker committed Jan 20, 2025
1 parent 07fba9e commit c000be1
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,17 @@ jobs:
./Sphinxsetup.sh
- name: Check image formats
run: |
find ./images/ -exec file {} + | grep RIFF -vzq
for i in $(find ./images/); do
BAD=false
if file "$i" | grep RIFF; then
echo "$i contains RIFF metadata; process file to remove"
BAD=true
fi
if $BAD; then
echo "Bad images found"
exit 1
fi
done
- name: Check python3 flake8 formatting
run : |
set -eux -o pipefail
Expand Down

0 comments on commit c000be1

Please sign in to comment.