Fix .gitignore being misinterpreted by ripgrep
#789
| Job | Run time |
|---|---|
| 44s | |
| 44s |
.gitignore being misinterpreted by ripgrep
#789
| Job | Run time |
|---|---|
| 44s | |
| 44s |