mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 22:53:14 -04:00
f0ec2f05c4
The images in the widget gallery on egui.rs are broken:  ~Not sure why yet, and I fail to reproduce locally.~ It's because they are on git lfs.
32 lines
941 B
YAML
32 lines
941 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 CONTRIBUTING.md"
|
|
exit 1
|
|
fi
|
|
done
|