mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 14:49:06 -04:00
40bf21728d
Since we moved pngs to lfs I think we should also move the gifs there. * [x] I have followed the instructions in the PR template
32 lines
1004 B
YAML
32 lines
1004 B
YAML
name: All; .png on git LFS
|
|
|
|
on: [push, pull_request]
|
|
|
|
jobs:
|
|
check-binary-files:
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v2
|
|
|
|
- name: Check that png files are on git LFS
|
|
run: |
|
|
binary_extensions="png"
|
|
exclude_paths=(
|
|
"crates/eframe/data"
|
|
"crates/egui_demo_lib/data/"
|
|
"crates/egui/assets/"
|
|
)
|
|
|
|
# Find binary files that are not tracked by Git LFS
|
|
for ext in $binary_extensions; do
|
|
# Create grep pattern to exclude multiple paths
|
|
exclude_pattern=$(printf "|^%s" "${exclude_paths[@]}" | sed 's/^|//')
|
|
|
|
if comm -23 <(git ls-files | grep -Ev "$exclude_pattern" | sort) <(git lfs ls-files -n | sort) | grep "\.${ext}$"; then
|
|
echo "Error: Found binary file with extension .$ext not tracked by git LFS. See https://github.com/emilk/egui/blob/master/CONTRIBUTING.md#working-with-git-lfs"
|
|
exit 1
|
|
fi
|
|
done
|