You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Noticed during #609, while the broad exclusion in that PR works, it would be better to only exclude non-compilable files. There is some interesting test input in the excluded directory that we should keep parsing.
The text was updated successfully, but these errors were encountered:
Noticed during #609, while the broad exclusion in that PR works, it would be better to only exclude non-compilable files. There is some interesting test input in the excluded directory that we should keep parsing.
The text was updated successfully, but these errors were encountered: