chore: add .dSYM files (Mac debug symbols) to tests .gitignore files#8771

zwarich merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

zwarich:git-ignore-dsymszwarich/lean4:git-ignore-dsymsCopy head branch name to clipboard