chore add git lfs

zama-ai · Apr 16, 2024 · fadf7f8 · fadf7f8
1 parent 8a3fa77
commit fadf7f8
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/script/make_utils/run_use_case_examples.sh b/script/make_utils/run_use_case_examples.sh
@@ -14,6 +14,12 @@ check_directory_exists() {
     fi
 }
 
+pull_git_lfs_objects() {
+    echo "Pulling files with Git LFS..."
+    git lfs pull
+    echo "Git LFS pull completed."
+}
+
 check_clean_git_status() {
     if git ls-files --others --exclude-standard | grep -q "$1"; then
         echo "Error: The repository is not clean. Untracked files found in $1."
@@ -91,6 +97,7 @@ print_summary() {
 
 main() {
     check_directory_exists "$USE_CASE_DIR"
+    pull_git_lfs_objects
     check_clean_git_status "$USE_CASE_DIR_NAME"
 
     declare -a success_examples
@@ -114,4 +121,4 @@ main() {
     fi
 }
 
-main "$@"
+main "$@"